Public and private communication are different: results on relative expressivity
- 80 Downloads
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.
KeywordsDynamic epistemic logic Expressivity Private communication
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- Baltag, A., Moss, L. S., & Solecki S. (2005). Logics for epistemic actions: Completeness, decidability, expressivity. Manuscript.Google Scholar
- Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press, CambridgeGoogle Scholar
- Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. (1995) Reasoning about knowledge. The MIT Press, CambridgeGoogle Scholar
- Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, University of Amsterdam.Google Scholar
- Hintikka J. (1962) Knowledge and belief. Cornell University Press, IthacaGoogle Scholar
- 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).Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Springer.Google Scholar