Unification of Modal Logic via Topological Categories

DOI10.4204/EPTCS.380.22MaRDI QIDQ6150170zbMATH OpenOpenAlexFDO

Authors

Publication date 5 March 2024

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

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

Mathematics Subject Classification ID

Computer science (68-XX)

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.

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

Cites work

• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• A simple logic of functional dependence
• A topological approach to full belief
• An extension of the Galois theory of Grothendieck
• Categories for dynamic epistemic logic
• 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.
• Dynamic logic for belief revision
• Dynamic logics of evidence-based beliefs
• Evidence logic: a new look at neighborhood structures
• Logical dynamics of information and interaction
• Logics of public communications
• Modal logic
• Monoidal topology. A categorical approach to order, metric, and topology
• Reasoning about preference dynamics.
• The algebra of topology

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)