Unification of Modal Logic via Topological Categories

DOI10.4204/EPTCS.380.22arXiv2203.06596OpenAlexW4385349555MaRDI QIDQ6150170FDOQ6150170

Authors:

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: In this paper we provide a unifying description of different types of semantics of modal logic found in the literature via the framework of topological categories. In the style of categorical logic, we establish an exact correspondence between various syntactic extensions of modal logic on one hand, including modal dependence, group agent structures, and logical dynamic, and semantic structures in topological categories on the other hand. This framework provides us a uniform treatment of interpreting these syntactic extensions in all different types of semantics of modal logic, and it deepens our conceptual understanding of the abstract structure of modal logic.

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

Recommendations

• Maps and monads for modal frames
• Topological duality for intuitionistic modal algebras
• On a categorical framework for coalgebraic modal logic
• scientific article; zbMATH DE number 2015264
• A unified semantics for a family of modal logics with propositional constants

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Modal logic
• Logical dynamics of information and interaction
• An extension of the Galois theory of Grothendieck
• Dynamic logic for belief revision
• Title not available (Why is that?)
• Reasoning about preference dynamics.
• The algebra of topology
• Monoidal topology. A categorical approach to order, metric, and topology
• Logics of public communications
• Title not available (Why is that?)
• Dynamic logics of evidence-based beliefs
• Evidence logic: a new look at neighborhood structures
• Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12--14, 2006. Proceedings.
• A simple logic of functional dependence
• A topological approach to full belief
• Categories for dynamic epistemic logic

This page was built for publication: Unification of Modal Logic via Topological Categories

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