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.
Similar content being viewed by others
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
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
Vardi, M. (Ed). (1988). Proceedings of the 2nd conference on theoretical aspects of reasoning about knowledge. Morgan Kaufmann
Author information
Authors and Affiliations
Corresponding author
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
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-007-9168-7