Abstract
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable for the class of all pointed Kripke models, which provides a formal proof that public and private communication are fundamentally different in the presence of common knowledge. It is also shown that single-recipient private communication does not add expressive power to the language of modal logic with common knowledge for any class of transitive pointed Kripke models. The latter result provides a sense in which positive introspection—believing our own beliefs—induces a kind of self-dialog.
Similar content being viewed by others
References
Baltag A., Moss L.S. (2004) Logics for epistemic programs. Synthese 139(2): 165–224
Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of common knowledge, public announcements, and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII) (pp. 43–56). Evanston, IL, USA.
Baltag, A., Moss, L. S., & Solecki S. (2005). Logics for epistemic actions: Completeness, decidability, expressivity. Manuscript.
Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press, Cambridge
Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. (1995) Reasoning about knowledge. The MIT Press, Cambridge
Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, University of Amsterdam.
Gerbrandy J., Groeneveld W. (1997) Reasoning about information change. Journal of Logic, Language, and Information 6: 147–169
Hintikka J. (1962) Knowledge and belief. Cornell University Press, Ithaca
Kripke S.A. (1959) A completeness theorem in modal logic. The Journal of Symbolic Logic 24(1): 1–14
Lutz, C. (2006). Complexity and succinctness of public announcement logic. In P. Stone & G. Weiss (Eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06) (pp. 137–144).
Parikh, R. (2005). Logical omniscience and common knowledge: WHAT do we know and what do WE know?. In R. van der Meyden (Ed.), Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005) (pp. 62–77). Singapore.
Plaza, J. A. (1989). Logics of public communications. In Z. W. Ras (Ed.), Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems (ISMIS 1989). North-Holland.
van Benthem J., van Eijck J., Kooi B. (2006) Logics of communication and change. Information and Computation, 204(11): 1620–1662
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Springer.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Renne, B. Public and private communication are different: results on relative expressivity. Synthese 165, 225–245 (2008). https://doi.org/10.1007/s11229-008-9395-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-008-9395-6