Add to ORKGWe 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.Comment: 25 page
We adopt semimodel categories to extend fundamental results related to Bousfield localizations of mo...
In this article, we present a modal logic system that allows representing relationships between sets...
Chapter IV of a book which looks to demonstrate what philosophy can gain from the new formal languag...
In this paper we provide a unifying description of different types of semantics of modal logic found...
We establish a Quillen equivalence between the Kan-Quillen model structure and a model structure, de...
The concept of model category is due to Quillen [1]. It represents an axiomatic aproach to homotopy ...
Our goal is to give a quick exposition of model categories by hitting the main points of the theory ...
Three important results about the expressivity of a modal logic L are the Character-ization Theorem ...
We enrich propositional modal logic with operators ◇>n (n ∈ N) which are interpreted on Kripke st...
If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists ...
textabstractThis paper contributes to the model theory of modal logic using bisimulations as the fun...
The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a f...
Three important results about the expressivity of a modal logic L are the Characterization Theorem (...
We prove that categories enriched in the Thomason model structure admit a model structure that is Qu...
International audienceWe give sufficient conditions for the existence of a Quillen model structure o...
We adopt semimodel categories to extend fundamental results related to Bousfield localizations of mo...
In this article, we present a modal logic system that allows representing relationships between sets...
Chapter IV of a book which looks to demonstrate what philosophy can gain from the new formal languag...
In this paper we provide a unifying description of different types of semantics of modal logic found...
We establish a Quillen equivalence between the Kan-Quillen model structure and a model structure, de...
The concept of model category is due to Quillen [1]. It represents an axiomatic aproach to homotopy ...
Our goal is to give a quick exposition of model categories by hitting the main points of the theory ...
Three important results about the expressivity of a modal logic L are the Character-ization Theorem ...
We enrich propositional modal logic with operators ◇>n (n ∈ N) which are interpreted on Kripke st...
If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists ...
textabstractThis paper contributes to the model theory of modal logic using bisimulations as the fun...
The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a f...
Three important results about the expressivity of a modal logic L are the Characterization Theorem (...
We prove that categories enriched in the Thomason model structure admit a model structure that is Qu...
International audienceWe give sufficient conditions for the existence of a Quillen model structure o...
We adopt semimodel categories to extend fundamental results related to Bousfield localizations of mo...
In this article, we present a modal logic system that allows representing relationships between sets...
Chapter IV of a book which looks to demonstrate what philosophy can gain from the new formal languag...