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 (only showing first 100 items - show all)
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
This page was built for publication: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
