Synthese 158 (2):165 - 179 (2007)
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 (applicable in) expert systems|
|Categories||categorize this paper)|
References found in this work BETA
Handbook of Philosophical Logic.Dov Gabbay & Franz Guenthner (eds.) - 1989 - Kluwer Academic Publishers.
Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.
Logical Foundations of Artificial Intelligence.Michael R. Genesereth & Nils J. Nilsson - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
Citations of this work BETA
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Merging Frameworks for Interaction.van Benthem Johan, Gerbrandy Jelle, Hoshi Tomohiro & Pacuit Eric - 2009 - Journal of Philosophical Logic 38 (5):491-526.
Prolegomena to Dynamic Logic for Belief Revision.P. Van Ditmarsch Hans - 2005 - Synthese 147 (2):229-275.
Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.
Similar books and articles
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Comments to 'Logics of Public Communications'.P. van Ditmarsch Hans - 2007 - Synthese 158 (2):181-187.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Added to index2009-01-28
Total downloads54 ( #97,455 of 2,171,692 )
Recent downloads (6 months)1 ( #326,424 of 2,171,692 )
How can I increase my downloads?