A model category for modal logic
Logic
2023-10-19 v1
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.
Cite
@article{arxiv.2310.12068,
title = {A model category for modal logic},
author = {Luca Reggio},
journal= {arXiv preprint arXiv:2310.12068},
year = {2023}
}
Comments
25 pages