Abstract
In the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a ‘core set’ of the so-called reduction axioms. In particular, there is a composition axiom which stipulates how two consecutive announcements are composed into one. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that without the composition axiom the core set does not completely axiomatize PAL. In fact, most of the intuitive ‘axioms’ and rules we took for granted could not be derived from the core set. The non-standard semantics we proposed is of its own interest in modelling realistic agents. We show that with the help of different composition axioms we may axiomatize PAL w.r.t. such non-standard semantics.
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
Preview
Unable to display preview. Download preview PDF.
References
Baltag, A., Moss, L.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
Bonnay, D., Égré, P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38(2), 179–227 (2009)
Delgrande, J., Jin, Y.: Parallel belief revision. In: Proceedings of AAAI 2008, pp. 430–435 (2008)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Synthese Library. Springer, Heidelberg (2007)
Gabbay, D.M.: A theory of hypermodal logics: Mode shifting in modal logic. Journal of Philosophical Logic 31(3), 211–243 (2002)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)
Holliday, W., Hoshi, T., Icard III, T.F.: Schematic Validity in Dynamic Epistemic Logic: Decidability. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS(LNAI), vol. 6953, pp. 87–96. Springer, Heidelberg (2011)
Miller, J., Moss, L.: The undecidability of iterated modal relativization. Studia Logica 79(3), 373–407 (2005)
Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
Wang, Y.: Indexed Semantics and Its Application in Modelling Interactive Unawareness. Master’s thesis, University of Amsterdam (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Y. (2011). On Axiomatizations of PAL. In: van Ditmarsch, H., Lang, J., Ju, S. (eds) Logic, Rationality, and Interaction. LORI 2011. Lecture Notes in Computer Science(), vol 6953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24130-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-24130-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24129-1
Online ISBN: 978-3-642-24130-7
eBook Packages: Computer ScienceComputer Science (R0)