A first-order theory of communication and multi-agent plansErnest DavisLeora Morgenstern2005Journal of Logic and Computation