A First-order Theory of Communication and Multi-agent Plans

Ernest Davis, Leora Morgenstern. A First-order Theory of Communication and Multi-agent Plans. Journal of Logic and Computation, 15(5):701-749, 2005. [doi]

Abstract

Abstract is missing.