Skip to main content
Log in

Logics of public communications

Synthese Aims and scope Submit manuscript

Abstract

Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that solves certain kind of problems involving public communications—among them well known puzzles of Muddy Children and Mr. Sum & Mr. Product. As the paper gives a formal logical treatment of the operation of restriction of the universe of a Kripke model, it contributes also to investigations of semantics for modal logics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Barwise, J. (1977). Introduction to first order logic. In J. Barwise (Ed.), Handbook of mathematical logic (pp. 5–46). North Holland.

  • Fitting, M. (1991). Modal logic should say more than it does. In J.-L. Lassez, & G. Plotkin (Eds.), Computational logic, essays in honor of Alan Robinson (pp. 113–135). Cambridge, MA: MIT Press (The original paper (Plaza 1989) referenced only an unpublished 1989 version of (Fitting 1991)).

  • Gabbay, D., & Guenthner, F. (Ed.). (1984). Handbook of philosophical logic, (Vol. 2) extensions of classical logic. Reidel Publishing Company

  • Genesareth M., Nilsson N. (1987). Logical foundations of artificial intelligence. Los Altos, CA, Morgan Kaufmann Publishers

    Google Scholar 

  • Halpern, J., & Moses, Y. (1985). A guide to the modal logics of knowledge and belief: Preliminary report. In Proceedings of the 9th international joint conference on artificial intelligence, 1985, pp. 480–490.

  • Halpern, J. (Ed.). (1986). Proceedings of the 1st conference on theoretical aspects of reasoning about knowledge. Morgan Kaufmann.

  • Hintikka, J. (1962). Knowledge and belief. Cornell University Press.

  • Linsky L. (Ed.) Reference and modality. Oxford University Press: London.

  • Parikh, R. (1987). Knowledge and the problem of logical omniscience. In Z. Ras, & M. Zemankova (Eds.), Proceedings of the 2nd international symposium on methodologies for intelligent systems (pp. 432–439). North Holland.

  • Stalnaker R., Thomason R. (1968). Abstraction in first order modal logic. Theoria 34: 203–207

    Article  Google Scholar 

  • Vardi, M. (Ed). (1988). Proceedings of the 2nd conference on theoretical aspects of reasoning about knowledge. Morgan Kaufmann

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jan Plaza.

Additional information

This paper was originally published as Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z.W. Ras (Eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems: Poster session program (pp. 201–216). Publisher: Oak Ridge National Laboratory, ORNL/DSRD-24. Research partly supported by NSF Grant CCR-8702307 and PSC-CUNY Grant 668283.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Plaza, J. Logics of public communications. Synthese 158, 165–179 (2007). https://doi.org/10.1007/s11229-007-9168-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-007-9168-7

Keywords

Navigation