A model category for modal logic

2023/10/18 by Luca Reggio, Reggio, Luca
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic

paper · pdf · doi:10.48550/arxiv.2310.12068

Abstract

We define Quillen model structures on a family of presheaf toposes arising from tree unravellings of Kripke models, leading to a homotopy theory for modal logic. Modal preservation theorems and the Hennessy-Milner property are revisited from a homotopical perspective.

Related

• Kripke-like models of Set Theory in Modal Residuated Logic
• On modal logics of model-theoretic relations
• First-Order Modal Logic via Logical Categories
• Remarks on Shelah's classification theory and Quillen's negation
• Homotopies in Classical and Paraconsistent Modal Logics