Abstract
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5 n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the context of common knowledge and relativized common knowledge.
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
Plaza, J.A.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
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: TARK ’98: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, pp. 43–56. Morgan Kaufmann, San Francisco (1998)
van Benthem, J.: One is a lonely number: on the logic of communication. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium ’02. Lecture Notes in Logic, vol. 27, pp. 96–129. A.K. Peters, Wellesley (2006)
van Benthem, J., van Eijck, J., Kooi, B.: Common knowledge in update logics. In: TARK ’05: Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge, National University of Singapore, pp. 253–261 (2005)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
van Benthem, J., Kooi, B.: Reduction axioms for epistemic actions. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) AiML ’04: Proceedings of Advances in Modal Logic 5. Number UMCS-04-9-1 in Technical Report Series, University of Manchester, pp. 197–211 (2004)
van Ditmarsch, H.: Knowledge games. PhD thesis, University of Groningen, ILLC Dissertation Series 2000-06 (2000)
van Ditmarsch, H.: The russian cards problem. Studia Logica 75(4), 31–62 (2003)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic. Synthese Library, vol. 337. Springer, Heidelberg (2007)
van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151(2), 202–232 (2005)
Renne, B.: Bisimulation and public announcements in logics of evidence-based knowledge. In: Artemov, S., Parikh, R. (eds.) ESSLLI ’06: Proceedings of the European Summer School in Logic, Language and Information, Workshop on Rationality and Knowledge, Association for Logic, Language and Information, pp. 112–123 (2006)
Steiner, D.: A system for consistency preserving belief change. In: Artemov, S., Parikh, R. (eds.) ESSLLI ’06: Proceedings of the European Summer School in Logic, Language and Information, Workshop on Rationality and Knowledge, Association for Logic, Language and Information, pp. 133–144 (2006)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Steiner, D., Studer, T. (2007). Total Public Announcements. In: Artemov, S.N., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2007. Lecture Notes in Computer Science, vol 4514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72734-7_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-72734-7_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72732-3
Online ISBN: 978-3-540-72734-7
eBook Packages: Computer ScienceComputer Science (R0)