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 paper, we describe the methods used for Quantitative Natural Language Inference
(QNLI), and Quantitative Question Answering (QQA) in task1 of Semeval2024 NumEval. The …

We discuss two-layered logics formalising reasoning with paraconsistent probabilities that
combine the Łukasiewicz [0, 1]-valued logic with Baaz▵ operator and the Belnap–Dunn …

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} …

This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-
layered logics formalising reasoning with probabilities and belief functions that combine the …

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 explore presumptive reasoning in the paraconsistent case. Specifically, we provide
semantics for non-trivial reasoning with presumptive arguments with contradictory …