Add to ORKGAbstract. A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.
Abstract. In recent years, a tight connection has emerged between modal logic on the one hand and co...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...
Gödel modal logics combine Kripke frames of modal logics with the semantics of the well-known fuzzy...
Decidability of the validity problem is established for a family of many-valued modal logics, notabl...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
The tangle modality is a propositional connective that extends basic modal logic to a language that ...
AbstractWe initiate the study of computable model theory of modal logic, by proving effective comple...
In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-va...
We show that modal logic over universally first-order definable classes of transitive frames is deci...
Abstract. A basic modal fuzzy logic GK is defined by combining the Kripke semantics of the modal lo...
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, ...
AbstractIn recent years, a tight connection has emerged between modal logic on the one hand and coal...
It is well known at present that relational semantics for propositional modal logics is far from com...
We enrich propositional modal logic with operators ◇>n (n ∈ N) which are interpreted on Kripke st...
Abstract. In recent years, a tight connection has emerged between modal logic on the one hand and co...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...
Gödel modal logics combine Kripke frames of modal logics with the semantics of the well-known fuzzy...
Decidability of the validity problem is established for a family of many-valued modal logics, notabl...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
The tangle modality is a propositional connective that extends basic modal logic to a language that ...
AbstractWe initiate the study of computable model theory of modal logic, by proving effective comple...
In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-va...
We show that modal logic over universally first-order definable classes of transitive frames is deci...
Abstract. A basic modal fuzzy logic GK is defined by combining the Kripke semantics of the modal lo...
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, ...
AbstractIn recent years, a tight connection has emerged between modal logic on the one hand and coal...
It is well known at present that relational semantics for propositional modal logics is far from com...
We enrich propositional modal logic with operators ◇>n (n ∈ N) which are interpreted on Kripke st...
Abstract. In recent years, a tight connection has emerged between modal logic on the one hand and co...
This article deals with many-valued modal logics, based only on the necessity operator, over a resid...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...