The Logic of Public Announcements, Common Knowledge, and Private Suspicions
From MaRDI portal
Publication:2971701
DOI10.1007/978-3-319-20451-2_38zbMath1386.03019OpenAlexW1518725080MaRDI QIDQ2971701
Lawrence S. Moss, Alexandru Baltag, Slawomir Solecki
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
Related Items
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Composing models ⋮ Logics of Rational Interaction ⋮ Dynamic Epistemic Logic and Temporal Modality ⋮ Exploring the Power of Converse Events ⋮ Belief Update as Social Choice ⋮ Learning Actions Models: Qualitative Approach ⋮ A Note on Reliability-Based Preference Dynamics ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ Epistemic Updates on Bilattices ⋮ Terminating Tableaux for Dynamic Epistemic Logics ⋮ Generalized DEL-Sequents ⋮ Conditional Epistemic Planning ⋮ VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS ⋮ Graded epistemic logic with public announcement ⋮ Public announcements, public assignments and the complexity of their logic ⋮ DEL-sequents for regression and epistemic planning ⋮ Substructural epistemic logics ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Knowledge and Games in Modal Semirings ⋮ Communication pattern logic: epistemic and topological views ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Impure Simplicial Complexes: Complete Axiomatization ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ An epistemic separation logic with action models ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ Two ways to scare a Gruffalo ⋮ Raising awareness without disclosing truth ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ Propositional Dynamic Logic as a Logic of Belief Revision ⋮ Program semantics and verification technique for AI-centred programs ⋮ Language Games ⋮ Łukasiewicz Public Announcement Logic ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Group Knowledge in Interrogative Epistemology ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Hintikka’s Knowledge and Belief in Flux ⋮ A Dynamic Logic of Interrogative Inquiry ⋮ A formal model of multi-agent belief-interaction ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ The dynamics of information exchange dialogues ⋮ Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes ⋮ A formal model of multi-agent belief-interaction ⋮ Modal Fixed-Point Logic and Changing Models ⋮ Revising a Labelled Sequent Calculus for Public Announcement Logic ⋮ Common Knowledge and the Knowledge Account of Assertion ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Conversation and Games ⋮ Knowing Values and Public Inspection ⋮ Three Steps ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ Knowledge and Action in Semi-public Environments ⋮ DEL Planning and Some Tractable Cases ⋮ Logics of Belief over Weighted Structures ⋮ Public Announcement Logic with Distributed Knowledge ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents ⋮ Global and Local Graph Modifiers ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ On Revocable and Irrevocable Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ The case of the hidden hand ⋮ Expressivity and completeness for public update logics via reduction axioms ⋮ Modal Predicates and Coequations ⋮ Dynamic Epistemic Logics ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Probabilistic Update ⋮ Logic and Game Theory ⋮ Incorporating Action Models into the Situation Calculus ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ The undecidability of iterated modal relativization ⋮ The Mathematics of Text Structure ⋮ Copy and remove as dynamic operators ⋮ Logics of informational interactions ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ Ockham's razor and reasoning about information flow ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Announcements to attentive agents ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ The undecidability of quantified announcements ⋮ A logical theory of localization ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Computation as social agency: what, how and who ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Epistemic planning with attention as a bounded resource ⋮ A modal interpretation of the logic of interrogation ⋮ On inverse operators in dynamic epistemic logic ⋮ Update semantics of security protocols ⋮ Non-strict interventionism: the case of right-nested counterfactuals ⋮ The secret of my success ⋮ Logics of communication and change ⋮ Private announcements on topological spaces ⋮ The undecidability of arbitrary arrow update logic ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Action emulation ⋮ Resolving distributed knowledge ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ A closeness- and priority-based logical study of social network creation ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Merging DEL and ETL ⋮ The situation calculus: a case for modal logic ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ Reasoning dynamically about what one says ⋮ 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 ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ A modal type theory for formalizing trusted communications ⋮ A history based logic for dynamic preference updates ⋮ Reverse public announcement operators on expanded models ⋮ Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ DEL-based epistemic planning: decidability and complexity ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Action emulation between canonical models ⋮ Epistemic closure and commutative, nonassociative residuated structures ⋮ Reasoning about permitted announcements ⋮ A logic of intention and attempt ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ Information dynamics and uniform substitution ⋮ On axiomatizations of public announcement logic ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Exploring the tractability border in epistemic tasks ⋮ Dynamics of lying ⋮ Transition semantics: the dynamics of dependence logic ⋮ 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 ⋮ Multiagent belief revision ⋮ A simple logic of functional dependence ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Syntactic awareness in logical dynamics ⋮ Inquisitive dynamic epistemic logic ⋮ Logics of temporal-epistemic actions ⋮ Toward a dynamic logic of questions ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Dynamic epistemic logics of diffusion and prediction in social networks ⋮ A sketch of a dynamic epistemic semiring ⋮ Interrogative belief revision based on epistemic strategies ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Local properties in modal logic ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Semantics for knowledge and change of awareness ⋮ 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 ⋮ Truth-tracking by belief revision ⋮ Finite identification from the viewpoint of epistemic update ⋮ Revocable belief revision ⋮ Modeling reasoning in a social setting ⋮ The logic of Pit ⋮ Belief ascription under bounded resources ⋮ Logical dynamics of belief change in the community ⋮ True lies ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ Knowledge, behavior, and rationality: rationalizability in epistemic games ⋮ Knowledge condition games ⋮ Diversity of agents and their interaction ⋮ Intensional protocols for dynamic epistemic logic ⋮ From oughts to goals: a logic for Enkrasia ⋮ 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 ⋮ Endogenizing epistemic actions ⋮ 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 ⋮ Prolegomena to dynamic logic for belief revision
Cites Work
