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]

@inproceedings{Lutz06,
  title = {Complexity and succinctness of public announcement logic},
  author = {Carsten Lutz},
  year = {2006},
  doi = {10.1145/1160633.1160657},
  url = {http://doi.acm.org/10.1145/1160633.1160657},
  tags = {logic},
  researchr = {https://researchr.org/publication/Lutz06},
  cites = {0},
  citedby = {0},
  pages = {137-143},
  booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006},
  editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
  publisher = {ACM},
  isbn = {1-59593-303-4},
}