The Logic of Public Announcements, Common Knowledge, and Private Suspicions

DOI10.1007/978-3-319-20451-2_38zbMath1386.03019MaRDI QIDQ2971701

Lawrence S. Moss, Slawomir Solecki, Alexandru Baltag

Publication date: 7 April 2017

Published in: Readings in Formal Epistemology (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/4497

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

Related Items

Modal Fixed-Point Logic and Changing Models, A formal model of multi-agent belief-interaction, A formal model of multi-agent belief-interaction, AGM 25 years. Twenty-five years of research in belief change, Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth, What will they say? -- Public announcement games, McCarthy variations in a modal key, Finite identification from the viewpoint of epistemic update, Merging DEL and ETL, The situation calculus: a case for modal logic, Automata for epistemic temporal logic with synchronous communication, The dynamics of awareness, To know or not to know: Epistemic approaches to security protocol verification, The language of social software, Dynamic logics of knowledge and access, Prolegomena to dynamic logic for belief revision, Ockham's razor and reasoning about information flow, Logic and social cognition. The facts matter, and so do computational models, A modal interpretation of the logic of interrogation, The secret of my success, Logics of communication and change, Dynamic doxastic logic: why, how, and where to?, A logic of intention and attempt, Towards a ``sophisticated model of belief dynamics. I: The general framework, A sketch of a dynamic epistemic semiring, Belief ascription under bounded resources, Towards a ``sophisticated model of belief dynamics. II: Belief revision, Knowledge condition games, Diversity of agents and their interaction, Logical dynamics of some speech acts that affect obligations and preferences, Probabilistic dynamic belief revision, Public and private communication are different: Results on relative expressivity, Dynamic update with probabilities, Dynamic epistemic logic with branching temporal structures, Introspective forgetting, Keep `hoping' for rationality: a solution to the backward induction paradox, Merging frameworks for interaction, Interrogative belief revision in modal logic, Update semantics of security protocols, Knowledge and communication: A first-order theory, Knowledge updates: Semantics and complexity issues, Comments to `Logics of public communications', The cognitive structure of surprise: looking for basic principles, The logic of Pit, The undecidability of iterated modal relativization, Three Steps, Knowledge and Games in Modal Semirings, Propositional Dynamic Logic as a Logic of Belief Revision, From DEL to EDL: Exploring the Power of Converse Events, ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’, Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes, Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points, The case of the hidden hand, Expressivity and completeness for public update logics via reduction axioms