A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, ...
The tangle modality is a propositional connective that extends basic modal logic to a language that ...
International audienceWe define and study a new modal extension of the logic of Here and There with ...
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued...
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-value...
We investigate the expressivity of many-valued modal logics based on an algebraic structure with a c...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linea...
We investigate model theoretic characterisations of the expressive power of modal logics in terms of...
We discuss modal extensions of the logic MTL, or monoidal t-norm logic, which is a many-valued logic...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
A modal transition system has a class of implementations, its maximal refinements. This class determ...
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, ...
The tangle modality is a propositional connective that extends basic modal logic to a language that ...
International audienceWe define and study a new modal extension of the logic of Here and There with ...
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued...
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-value...
We investigate the expressivity of many-valued modal logics based on an algebraic structure with a c...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linea...
We investigate model theoretic characterisations of the expressive power of modal logics in terms of...
We discuss modal extensions of the logic MTL, or monoidal t-norm logic, which is a many-valued logic...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
A modal transition system has a class of implementations, its maximal refinements. This class determ...
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, ...
The tangle modality is a propositional connective that extends basic modal logic to a language that ...
International audienceWe define and study a new modal extension of the logic of Here and There with ...