We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation¬ and modalities▪ and⧫. We dub the logic G▪,⧫ 2±and equip it with Kripke semantics on …
We present an axiomatization of the fuzzy bi-Gödel modal logic formulated in the language containing (Baaz Delta operator) and treating (co-implication) as the defined connective. We …
This paper considers two logics. The first one, $\mathbf {K}\mathsf {G} _\mathsf {inv} $, is an expansion of the G\" odel modal logic $\mathbf {K}\mathsf {G} $ with the involutive negation …
We present the axiomatisation of the fuzzy bi-G\"{o} del modal logic (formulated in the language containing $\triangle $ and treating the coimplication as a defined connective) and …
We further develop the paraconsistent G\"{o} del modal logic. In this paper, we consider its version endowed with Kripke semantics on $[0, 1] $-valued frames with two fuzzy relations …
We introduce a paraconsistent expansion of the G\"{o} del logic with a De Morgan negation $\neg $ and modalities $\blacksquare $ and $\blacklozenge $. We equip it with Kripke …
This dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent) reasoning about uncertainty. The understanding of 'uncertain information (data)'here …