We introduce a paraconsistent modal logic KG 2, based on Gödel logic with coimplication (bi-
Gödel logic) expanded with a De Morgan negation¬. We use the logic to formalise …

In this paper, we provide a Hilbert-style axiomatization for the crisp bi-Gödel modal logic. We
prove its completeness wrt crisp Kripke models where formulas at each state are evaluated …

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 …

In this work we study the decidability of a class of global modal logics arising from Kripke
frames evaluated over certain residuated lattices, known in the literature as modal many …

We introduce semantics for crisp and fuzzy Gödel S 4 based on bi-relational frames. We
then show that each version of the logic is sound and complete for its respective class of …

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 …

We consider two expansions of G\"{o} del logic $\mathsf {G} $ with two versions of
paraconsistent negation. The first one is $\mathsf {G_ {inv}} $--the expansion of $\mathsf {G} …

Negotiation plays a crucial role in the dispute resolution systems. In the negotiation, the
agents usually need to compromise with each other because their preferences are different …

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 …

This work introduces a new fuzzy epistemic logic with public announcement with fuzzyness
on both transitions and propositions. The interpretation of the connectives is done over the …