Dynamic logics of knowledge and access

DOI10.1007/s11229-010-9768-5zbMath1231.03015MaRDI QIDQ625719

Eric Pacuit, Tomohiro Hoshi

Publication date: 25 February 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-010-9768-5

zbMATH Keywords

dynamic epistemic logic; epistemic temporal logic; logics of awareness

Mathematics Subject Classification ID

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

Related Items

Merging DEL and ETL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about permitted announcements
• Alternative semantics for unawareness
• The logic of proofs, semantically
• Awareness dynamics
• Dynamic epistemic logic with branching temporal structures
• Inference and update
• Reasoning about knowledge of unawareness
• Merging frameworks for interaction
• Belief, awareness, and limited reasoning
• A knowledge based semantics of messages
• A logic of believing, knowing, and inferring
• Logics of public communications
• Explicit Provability and Constructive Semantics
• On the Simplest Quartic Fields and Related Thue Equations
• Logics of Rational Interaction
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Becoming Aware of Propositional Variables
• Introducing Justification into Epistemic Logic
• The Dynamics of Syntactic Knowledge
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic Epistemic Temporal Logic