×

zbMATH — the first resource for mathematics

On axiomatizations of public announcement logic. (English) Zbl 1310.03029
Summary: In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL  without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the core set. Moreover, we also propose and advocate an alternative yet meaningful axiomatization of PAL  without the reduction axioms. The completeness is proved directly by a detour method using the canonical model where announcements are treated as merely labels for modalities as in normal modal logics. This new axiomatization and its completeness proof may sharpen our understanding of PAL  and can be adapted to other dynamic epistemic logics.

MSC:
03B42 Logics of knowledge and belief (including belief change)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Aucher, G., & Herzig, A. (2011). Dynamic formal epistemology, Chap. Exploring the power of converse events. Berlin: Springer. · Zbl 1258.03021
[2] Baltag, A; Moss, L, Logics for epistemic programs, Synthese, 139, 165-224, (2004) · Zbl 1100.03010
[3] Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceedings of TARK ’98 (pp. 43-56). Los Altos, CA: Morgan Kaufmann Publishers. · Zbl 1386.03019
[4] Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge: Cambridge University Press. · Zbl 0988.03006
[5] Bonnay, D; Égré, P, Inexact knowledge with introspection, Journal of Philosophical Logic, 38, 179-227, (2009) · Zbl 1175.03002
[6] Dégremont, C., Löwe, B., & Witzel, A. (2011). The synchronicity of dynamic epistemic logic. In TARK2011, Groningen. · Zbl 1088.03016
[7] Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press. · Zbl 0839.68095
[8] Gabbay, DM, A theory of hypermodal logics: mode shifting in modal logic, Journal of Philosophical Logic, 31, 211-243, (2002) · Zbl 1009.03012
[9] Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, University of Amsterdam.
[10] Gerbrandy, J; Groeneveld, W, Reasoning about information change, Journal of Logic, Language and Information, 6, 147-169, (1997) · Zbl 0873.03029
[11] Goldblatt, R; Jackson, M, Well-structured program equivalence is highly undecidable, ACM Transactions on Computational Logic, 13, 26:1-26:8, (2012) · Zbl 1351.68073
[12] Halpern, J; Meyden, R; Vardi, M, Complete axiomatizations for reasoning about knowledge and time, SIAM Journal on Computing, 33, 674-703, (2004) · Zbl 1059.68127
[13] Harel, D. (1985). Recurring dominoes: Making the highly undecidable highly understandable. In Selected papers of the international conference on “foundations of computation theory” on topics in the theory of computation (pp. 51-71). New York: Elsevier North-Holland. · Zbl 0531.68003
[14] Herzig, A., & Lima, T. D. (2006). Epistemic actions and ontic actions: A unified logical framework. In: Proceedings of IBERAMIA-SBIA (pp. 409-418). Berlin: Springer. · Zbl 1100.03010
[15] Holliday, W., Hoshi, T., & Icard, T. (2012). A uniform logic of information dynamics. In Proceedings of advances in modal logic 2012 (Vol. 9. pp. 348-367). London: College Publications. · Zbl 1291.03025
[16] Hoshi, T. (2009). Epistemic dynamics and protocol information. Ph.D. thesis, Stanford.
[17] Liu, F. (2008). Changing for the better. Ph.D. thesis, University of Amsterdam. · Zbl 1175.03002
[18] Miller, J; Moss, L, The undecidability of iterated modal relativization, Studia Logica, 79, 373-407, (2005) · Zbl 1088.03016
[19] Parikh, R., & Ramanujam, R. (1985). Distributed processes and the logic of knowledge. In Proceedings of conference on logic of programs (pp. 256-268). London: Springer. · Zbl 0565.68025
[20] Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems (pp. 201-216). Knoxville, TX: Oak Ridge National Laboratory. · Zbl 1059.68127
[21] Stalnaker, R; Cole, P (ed.), Assertion, No. 9, (1978), New York · Zbl 0418.03006
[22] van Benthem, J. (1999). Update as relativization. Unpublished notes. · Zbl 1009.03012
[23] Benthem, J, Dynamic logic for belief revision, Journal of Applied Non-Classical Logics, 17, 129-155, (2007) · Zbl 1186.03033
[24] van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press. · Zbl 1251.03003
[25] van Benthem, J. (2012). Two logical faces of belief revision. Unpublished manuscript. · Zbl 1347.03026
[26] Benthem, J; Gerbrandy, J; Hoshi, T; Pacuit, E, Merging frameworks for interaction, Journal of Philosophical Logic, 38, 491-526, (2009) · Zbl 1185.03019
[27] van Benthem, J., & Ikegami, D. (2008). Modal fixed-point logic and changing models. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science (pp. 146-165). Heidelberg: Springer. · Zbl 1133.03325
[28] van Benthem, J., & Minică, S. (2009). Toward a dynamic logic of questions. In X. He, J. F. Horty, & E. Pacuit (Eds.), Proceedings of the 2nd international workshop on logic, rationality and interaction (LORI-II), Vol. 5834 of FoLLI-LNAI (pp. 27-41). Berlin: Springer. · Zbl 1196.03027
[29] Benthem, J; Eijck, J; Kooi, B, Logics of communication and change, Information and Computation, 204, 1620-1662, (2006) · Zbl 1120.03012
[30] van der Hoek, W., & Pauly, M. (2006). Handbook of modal logic, Chap. Modal logic for games and information. Amsterdam: Elsevier.
[31] Ditmarsch, H, The Russian cards problem, Studia Logica, 75, 31-62, (2003) · Zbl 1033.03008
[32] van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic (Synthese Library, 1st ed.). Berlin: Springer. · Zbl 1156.03320
[33] Wang, Y. (2006). Indexed semantics and its application in modelling interactive unawareness. Master’s thesis, University of Amsterdam.
[34] Wang, Y. (2011). On axiomatizations of PAL. In Proceedings of LORI-III (pp. 314-327). · Zbl 1298.03060
[35] Wang, Y., & Li, Y. (2012). Not all those who wander are lost: dynamic epistemic reasoning in navigation. In Proceedings of advances in modal logic (Vol. 9. pp. 559-580). London: College Publications. · Zbl 1291.03026
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.