Unification of Modal Logic via Topological Categories

DOI10.4204/eptcs.380.22arXiv2203.06596OpenAlexW4385349555MaRDI QIDQ6150170

Unnamed Author

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about preference dynamics.
• Dynamic logics of evidence-based beliefs
• 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
• Logics of public communications
• The algebra of topology
• Monoidal Topology
• Logical Dynamics of Information and Interaction
• An extension of the Galois theory of Grothendieck
• Categories for Dynamic Epistemic Logic
• Dynamic logic for belief revision

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