A general framework for dynamic epistemic logic: towards canonical correspondences
From MaRDI portal
Publication:4586222
DOI10.1080/11663081.2017.1370663zbMath1398.03073OpenAlexW2762579826MaRDI QIDQ4586222
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
dynamic epistemic logicpublic announcement logicgeneral frameworkglobal operatormodal correspondence
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
