Abstract
Arbitrary public announcement logic (APAL) is a logic of change of knowledge with modalities representing quantification over announcements. We present two rather different versions of APAL wherein this quantification is restricted to formulas only containing a subset of all propositional variables: FSAPAL and SCAPAL; and another version quantifying over all announcements implied by or implying a given formula: IPAL. We then determine the relative expressivity of these logics and APAL. The IPAL quantifier promises to provide a novel perspective on substructural implication as dynamic consequence.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For example, state 0 is \(M_3\) is distinguished by \(\hat{K}_b\hat{K}_a\hat{K}_b q \wedge \lnot \hat{K}_a \hat{K}_b q\); 0 is the unique state where we can get with three steps but not with two.
References
Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Logic 8, 62–81 (2010)
Ågotnes, T., van Ditmarsch, H., French, T.: The undecidability of quantified announcements. Studia Logica 104(4), 597–640 (2016)
Aucher, G.: Dynamic epistemic logic as a substructural logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 855–880. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06025-5_33
Aucher, G., Bolander, T.: Undecidability in epistemic planning. In: Rossi, F. (ed.) Proceedings of 23rd IJCAI, pp. 27–33 (2013)
Aucher, G.: Dynamic epistemic logic in update logic. J. Logic Comput. 26(6), 1913–1960 (2016)
Aumann, R.: Agreeing to disagree. Ann. Stat. 4(6), 1236–1239 (1976)
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: ‘Knowable’ as ‘known after an announcement’. Rev. Symbolic Logic 1(3), 305–334 (2008)
Balbiani, P., van Ditmarsch, H.: A simple proof of the completeness of APAL. Stud. Logic 8(1), 65–78 (2015)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of 7th TARK, pp. 43–56. Morgan Kaufmann (1998)
Baltag, A., Özgün, A., Vargas Sandoval, A.L.: APAL with memory is better. In: Moss, L.S., de Queiroz, R., Martinez, M. (eds.) WoLLIC 2018. LNCS, vol. 10944, pp. 106–129. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-662-57669-4_6
van Benthem, J.: Semantic parallels in natural language and computation. In: Logic Colloquium ’87. North-Holland, Amsterdam (1989)
van Benthem, J.: Structural properties of dynamic reasoning. In: Peregrin, J. (ed.) Meaning: The Dynamic Turn, pp. 15–31. Elsevier, Amsterdam (2003)
van Benthem, J.: Logical dynamics meets logical pluralism? Austr. J. Logic 6, 182–209 (2008)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Bolander, T., Andersen, M.: Epistemic planning for single and multi-agent systems. J. Appl. Non-classical Logics 21(1), 9–34 (2011)
Charrier, T., Schwarzentruber, F.: Arbitrary public announcement logic with mental programs. In: Proceedings of AAMAS, pp. 1471–1479. ACM (2015)
van Ditmarsch, H., French, T.: Quantifying over Boolean announcements (2018). https://arxiv.org/abs/1712.05310
van Ditmarsch, H., French, T., Hales, J.: Positive announcements. Studia Logica (2020). https://doi.org/10.1007/s11225-020-09922-1, https://arxiv.org/abs/1803.01696
van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151, 201–232 (2006)
Dunn, J.M., Restall, G.: Relevance logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1–128. Kluwer (2002)
van Emde Boas, P., Groenendijk, J., Stokhof, M.: The Conway paradox: its solution in an epistemic framework. Truth Interpretation and Information, pp. 159–182. Foris Publications, Dordrecht (1984)
French, T., van Ditmarsch, H.: Undecidability for arbitrary public announcement logic. In: Advances in Modal Logic 7, pp. 23–42. College Publications (2008)
Galimullin, R.: Coalition announcements. Ph.D. thesis, University of Nottingham, UK (2019)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inf. 6, 147–169 (1997)
Hilpinen, R.: Remarks on personal and impersonal knowledge. Can. J. Philos. 7, 1–9 (1977)
Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)
McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, Norwood (1990)
Moore, G.: A reply to my critics. In: Schilpp, P. (ed.) The Philosophy of G.E. Moore, pp. 535–677. Northwestern University, Evanston (1942)
Moses, Y., Dolev, D., Halpern, J.: Cheating husbands and other stories: a case study in knowledge, action, and communication. Distrib. Comput. 1(3), 167–176 (1986)
Plaza, J.: Logics of public communications. In: Proceedings of the 4th ISMIS, pp. 201–216. Oak Ridge National Laboratory (1989)
Restall, G.: Relevant and substructural logics. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 289–398. Elsevier (2006)
Restall, G.: An Introduction to Substrucutral Logics. Routledge, London (2000)
Routley, R., Meyer, R.K.: Semantics of entailment. In: Leblanc, H. (ed.) Truth, Syntax and Modality, pp. 194–243. North Holland, Amsterdam (1973)
Acknowledgements
We thank the reviewers for their comments. Hans van Ditmarsch is also affiliated to IMSc, Chennai, India, as a research associate.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
van Ditmarsch, H., Liu, M., Kuijer, L.B., Sedlár, I. (2020). Expressivity of Some Versions of APAL. In: Martins, M.A., Sedlár, I. (eds) Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science(), vol 12569. Springer, Cham. https://doi.org/10.1007/978-3-030-65840-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-65840-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-65839-7
Online ISBN: 978-3-030-65840-3
eBook Packages: Computer ScienceComputer Science (R0)