In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-valued counterpart of the classical modal logic K45 over the [0, 1]-valued Gödel fuzzy logic G. More precisely, we characterize K45(G) as the set of valid formulae of the class of possibilistic Gödel frames ⟨ W, π⟩ , where W is a non-empty set of worlds and π: W→ [0 , 1] is a possibility distribution on W. We provide decidability results as well. Moreover, we show that all the results also apply to the extension of K45(G) with the axiom (D), provided that we restrict ourselves to normalised Gödel Kripke frames, i.e. frames ⟨ W, π⟩ where π satisfies the normalisation condition sup w∈Wπ(w) = 1.Peer reviewe
AbstractIn this paper we present several fuzzy logics trying to capture different notions of necessi...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and ...
In this paper we provide a simplified semantics for the logic $KD45(\mathbf{G})$, i.e. the many-val...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
AbstractIn this paper we present several fuzzy logics trying to capture different notions of necessi...
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as lo...
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as lo...
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as lo...
Gödel modal logics combine Kripke frames of modal logics with the semantics of the well-known fuzzy...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
AbstractThe notion of conditional possibility derived from marginal possibility measures has receive...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
AbstractIn this paper we present several fuzzy logics trying to capture different notions of necessi...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and ...
In this paper we provide a simplified semantics for the logic $KD45(\mathbf{G})$, i.e. the many-val...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
AbstractIn this paper we present several fuzzy logics trying to capture different notions of necessi...
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as lo...
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as lo...
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as lo...
Gödel modal logics combine Kripke frames of modal logics with the semantics of the well-known fuzzy...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
AbstractThe notion of conditional possibility derived from marginal possibility measures has receive...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
AbstractIn this paper we present several fuzzy logics trying to capture different notions of necessi...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and ...