Complexity and succinctness of public announcement logic

Carsten Lutz. Complexity and succinctness of public announcement logic. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 137-143, ACM, 2006. [doi]

Abstract

Abstract is missing.