Abstract
We introduce a unified framework for dynamic epistemic logics, which in particular encompasses Public Announcement Logic (PAL), Epistemic Action (EA) and Preference Upgrade (PU). Our framework consists of a generic language, in which some of the known reduction axioms are expressible, together with relational and algebraic semantics. We then establish correspondences between generic reduction axioms and semantic properties, in both relational and algebraic settings. This leads to alternative proofs of the completeness of PAL, EA, PU with respect to their relational semantics and algebraic semantics (for the former two).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 43–56. Morgan Kaufmann Publishers Inc. (1998)
Kurz, A., Palmigiano, A.: Epistemic updates on algebras. Logical Methods in Computer Science 9(4) (2013)
Ma, M.: Mathematics of public announcements. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 193–205. Springer, Heidelberg (2011)
Plaza, J.: Logics of public communications. In: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, pp. 201–216. Oak Ridge National Laboratory (1989)
van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17(2), 129–155 (2007)
van Benthem, J.: Two logical faces of belief revision. In: Krister Segerberg on Logic of Actions, pp. 281–300. Springer (2014)
van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2), 157–182 (2007)
van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1-3), 61–92 (2011)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Logic and the Foundations of Game and Decision Theory (LOFT 7), pp. 87–117 (2008)
van Ditmarsch, H., van Eijck, J., Sietsma, F., Wang, Y.: On the logic of lying. In: van Eijck, J., Verbrugge, R. (eds.) Games, Actions and Social Software 2010. LNCS, vol. 7010, pp. 41–72. Springer, Heidelberg (2012)
Wang, Y., Cao, Q.: On axiomatizations of public announcement logic. Synthese 190, 103–134 (2013)
Yamada, T.: Acts of commanding and changing obligations. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 1–19. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Motoura, S. (2015). A General Framework for Modal Correspondence in Dynamic Epistemic Logic. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_23
Download citation
DOI: https://doi.org/10.1007/978-3-662-48561-3_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48560-6
Online ISBN: 978-3-662-48561-3
eBook Packages: Computer ScienceComputer Science (R0)