On inverse operators in dynamic epistemic logic

DOI10.1007/978-3-030-93100-1_14OpenAlexW4200560369MaRDI QIDQ2151411

Shin-ya Katsumata, Shota Motoura

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_14

zbMATH Keywords

tense logiccategory theoryinverse operatorsdynamic epistemic logicgeneral framework

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Logics of temporal-epistemic actions
• Logic for update products and steps into the past
• Dynamic epistemic logic
• Temporal languages for epistemic programs
• Categorical logic and type theory
• Logics of public communications
• Dynamic Epistemic Logic Displayed
• Epistemic Updates on Algebras
• Exploring the Power of Converse Events
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• Categories for Dynamic Epistemic Logic
• A General Framework for Modal Correspondence in Dynamic Epistemic Logic
• Coalgebraic Epistemic Update Without Change of Model
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Dynamic Epistemic Temporal Logic
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Two Logical Faces of Belief Revision

This page was built for publication: On inverse operators in dynamic epistemic logic