Synthese

, Volume 158, Issue 2, pp 165–179

Logics of public communications

Article

DOI: 10.1007/s11229-007-9168-7

Cite this article as:
Plaza, J. Synthese (2007) 158: 165. doi:10.1007/s11229-007-9168-7

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.

Keywords

Logics of knowledge Communications Kripke models Modal logic S5, (applicable in) distributed systems (applicable in) expert systems 

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.Computer Science DepartmentSUNY PlattsburghPlattsburghUSA

Personalised recommendations