A general framework for dynamic epistemic logic: towards canonical correspondences

DOI10.1080/11663081.2017.1370663zbMath1398.03073OpenAlexW2762579826MaRDI QIDQ4586222

Shota Motoura

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2017.1370663

zbMATH Keywords

dynamic epistemic logicpublic announcement logicgeneral frameworkglobal operatormodal correspondence

Mathematics Subject Classification ID

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

Related Items (2)

On inverse operators in dynamic epistemic logic ⋮ Recapturing dynamic logic of relation changers via bounded morphisms

Cites Work

• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Logic for update products and steps into the past
• Dynamic logics of evidence-based beliefs
• Dynamic epistemic logic
• Temporal languages for epistemic programs
• Dynamic epistemic logic with branching temporal structures
• Merging frameworks for interaction
• Tableaux for Relation-Changing Modal Logics
• Dynamic Epistemic Logic Displayed
• Epistemic Updates on Algebras
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Mathematics of Public Announcements
• Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
• A General Framework for Modal Correspondence in Dynamic Epistemic Logic
• From DEL to EDL: Exploring the Power of Converse Events
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Expressivity and completeness for public update logics via reduction axioms
• Connecting dynamic epistemic and temporal epistemic logics
• Two Logical Faces of Belief Revision
• Acts of Commanding and Changing Obligations

This page was built for publication: A general framework for dynamic epistemic logic: towards canonical correspondences