Categories for Dynamic Epistemic Logic
From MaRDI portal
Publication:3384079
zbMath1483.03009arXiv1707.08753MaRDI QIDQ3384079
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1707.08753
Related Items (2)
On inverse operators in dynamic epistemic logic ⋮ Unification of Modal Logic via Topological Categories
Cites Work
- Coalgebraic semantics of modal logics: an overview
- Quantification in nonclassical logic. Volume I.
- A categorical outlook on relational modalities and simulations
- Logics of communication and change
- Dynamic epistemic logic
- Cartesian bicategories. I
- Sheaves in geometry and logic: a first introduction to topos theory
- First-order dynamic logic
- Coalgebraic logic
- Diagram chasing in ordered categories with involution
- Logics for epistemic programs
- Neighborhood-Sheaf Semantics for First-Order Modal Logic
- Introduction to Coalgebra
- Epistemic Updates on Algebras
- Continuity, freeness, and filtrations
- Categories for the Practising Physicist
- Mathematics of Public Announcements
- Logical Dynamics of Information and Interaction
- An extension of the Galois theory of Grothendieck
- A 2-Categories Companion
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- Coalgebraic Epistemic Update Without Change of Model
- Categories of frames for modal logic
- Temporal algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Categories for Dynamic Epistemic Logic