Categories for dynamic epistemic logic

zbMATH Open1483.03009arXiv1707.08753MaRDI QIDQ3384079FDOQ3384079

Authors: Kohei Kishida 

Publication date: 14 December 2021

Abstract: The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis on the duality between relations and adjoint homomorphisms. Using these categories, we then reformulate the semantics of DEL in a more categorical and algebraic form. Several virtues of the new formulation will be demonstrated: The DEL idea of updating a model into another is captured naturally by the categorical perspective -- which emphasizes a family of objects and structural relationships among them, as opposed to a single object and structure on it. Also, the categorical semantics of DEL can be merged straightforwardly with a standard categorical semantics for first-order logic, providing a semantics for first-order DEL.

Full work available at URL: https://arxiv.org/abs/1707.08753

Recommendations

• Dynamic epistemic logic in update logic
• scientific article; zbMATH DE number 1537935
• Dynamic epistemic logic with branching temporal structures
• A general framework for dynamic epistemic logic: towards canonical correspondences
• General dynamic dynamic logic

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Logics of communication and change
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Logics for epistemic programs
• Categories for the Practising Physicist
• Logical dynamics of information and interaction
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order dynamic logic
• Cartesian bicategories. I
• Coalgebraic logic
• Continuity, freeness, and filtrations
• Title not available (Why is that?)
• A categorical outlook on relational modalities and simulations
• Dynamic epistemic logic
• Temporal algebra
• Coalgebraic semantics of modal logics: an overview
• Diagram chasing in ordered categories with involution
• Title not available (Why is that?)
• A 2-categories companion
• Title not available (Why is that?)
• Quantification in nonclassical logic. Volume I.
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Categories of frames for modal logic
• Introduction to coalgebra. Towards mathematics of states and observation
• Epistemic updates on algebras
• Coalgebraic Epistemic Update Without Change of Model
• A coalgebraic semantics for epistemic programs
• Neighborhood-sheaf semantics for first-order modal logic
• Mathematics of public announcements
• Stochastic relational presheaves and dynamic logic for contextuality

Cited In (4)

• Unification of Modal Logic via Topological Categories
• On inverse operators in dynamic epistemic logic
• Defining ontological categories in an expansion of belief dynamics
• Categories: how I learned to stop worrying and love two sorts

This page was built for publication: Categories for dynamic epistemic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384079)