Abstract
Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information games with simultaneous moves. We propose a model checking algorithm for CAL and show that the model checking problem for CAL is PSPACE-complete. We also consider a special positive case for which the model checking problem is in P. We compare these results to those for other logics with quantification over information change.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For comparison, semantics for group announcement operator of the logic GAL mentioned in the introduction is
iff 
and 
iff 
.
iff 
and 
iff 
.References
Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Logic 8(1), 62–81 (2010). https://doi.org/10.1016/j.jal.2008.12.002
Ågotnes, T., van Ditmarsch, H.: Coalitions and announcements. In: Padgham, L., Parkes, D.C., Müller, J.P., Parsons, S. (eds.) 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, 12–16 May 2008, vol. 2, pp. 673–680. IFAAMAS (2008). https://doi.org/10.1145/1402298.1402318
Ågotnes, T., van Ditmarsch, H.: What will they say? - public announcement games. Synthese 179(Suppl.-1), 57–85 (2011). https://doi.org/10.1007/s11229-010-9838-8
Ågotnes, T., van Ditmarsch, H., French, T.S.: The undecidability of quantified announcements. Studia Logica 104(4), 597–640 (2016). https://doi.org/10.1007/s11225-016-9657-0
Ågotnes, T., Wáng, Y.N.: Resolving distributed knowledge. Artif. Intell. 252, 1–21 (2017). https://doi.org/10.1016/j.artint.2017.07.002
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.: ‘Knowable’ as ‘known after an announcement’. Rev. Symb. Logic 1(3), 305–334 (2008). https://doi.org/10.1017/S1755020308080210
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), Evanston, IL, USA, 22–24 July 1998, pp. 43–56 (1998)
van Benthem, J.: Logic in Games. MIT Press, Cambridge (2014)
Blackburn, P., van Benthem, J.: Modal logic: a semantic perspective. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 1–84. Elsevier, New York (2006)
van Ditmarsch, H., Fernández-Duque, D., van der Hoek, W.: On the definability of simulation and bisimulation in epistemic logic. J. Logic Comput. 24(6), 1209–1227 (2014). https://doi.org/10.1093/logcom/exs058
van Ditmarsch, H., French, T., Hales, J.: Positive announcements. CoRR abs/1803.01696 (2018). http://arxiv.org/abs/1803.01696
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2008). https://doi.org/10.1007/978-1-4020-5839-4
van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 153(2), 339–339 (2006). https://doi.org/10.1007/s11229-006-8493-6
Hintikka, J.: Knowledge and Belief. An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)
Parikh, R.: The logic of games and its applications. In: Karplnski, M., van Leeuwen, J. (eds.) Topics in the Theory of Computation, Annals of Discrete Mathematics, vol. 24, pp. 111–139. Elsevier Science, Amsterdam (1985). https://doi.org/10.1016/S0304-0208(08)73078-0
Pauly, M.: A modal logic for coalitional power in games. J. Logic Comput. 12(1), 149–166 (2002). https://doi.org/10.1093/logcom/12.1.149
Plaza, J.: Logics of public communications (reprint of 1989’s paper). Synthese 158(2), 165–179 (2007). https://doi.org/10.1007/s11229-007-9168-7
Acknowledgements
We thank anonymous IJCAI 2018 and KI 2018 referees for constructive comments, and IJCAI 2018 referees for finding an error in the earlier version of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Galimullin, R., Alechina, N., van Ditmarsch, H. (2018). Model Checking for Coalition Announcement Logic. In: Trollmann, F., Turhan, AY. (eds) KI 2018: Advances in Artificial Intelligence. KI 2018. Lecture Notes in Computer Science(), vol 11117. Springer, Cham. https://doi.org/10.1007/978-3-030-00111-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-00111-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00110-0
Online ISBN: 978-3-030-00111-7
eBook Packages: Computer ScienceComputer Science (R0)