Modal weak Kleene logics: axiomatizations and relational semantics

S Bonzio, N Zamperlin - Journal of Logic and Computation, 2024 - academic.oup.com
Weak Kleene logics are three-valued logics characterized by the presence of an infectious
truth-value. In their external versions, as they were originally introduced by Bochvar and …

Non-standard modalities in paraconsistent Gödel logic

M Bílková, S Frittella, D Kozhemiachenko - European Conference on …, 2023 - Springer
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 …

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

M Bílková, S Frittella… - Journal of Logic and …, 2024 - academic.oup.com
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 …

Simple tableaux for two expansions of G\" odel modal logic

M Bilkova, T Ferguson, D Kozhemiachenko - arXiv preprint arXiv …, 2024 - arxiv.org
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 …

Fuzzy bi-G\"{o} del modal logic and its paraconsistent relatives

M Bilkova, S Frittella, D Kozhemiachenko - arXiv preprint arXiv …, 2023 - arxiv.org
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 …

Paraconsistent G\"{o} del modal logic on bi-relational frames

M Bilkova, S Frittella, D Kozhemiachenko - arXiv preprint arXiv …, 2023 - arxiv.org
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 …

Non-standard modalities in paraconsistent G\"{o} del logic

M Bilkova, S Frittella, D Kozhemiachenko - arXiv preprint arXiv …, 2023 - arxiv.org
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 …

[PDF][PDF] et Ingénierie des Systèmes Laboratoire d'Informatique Fondamentale d'Orléans

D KOZHEMIACHENKO - benjamin-nguyen.fr
This dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent)
reasoning about uncertainty. The understanding of 'uncertain information (data)'here …