Categories for dynamic epistemic logic

MaRDI QIDQ3384079zbMATH OpenFDO

Authors Kohei Kishida

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08753, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.26

Mathematics Subject Classification ID

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

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.

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

Cites work

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

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)