7 citations · 31 across the 26 of their papers we have counts for
8 papers · 1 filter
Abductive Reasoning in a Paraconsistent Framework
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-kno…
Queries With Exact Truth Values in Paraconsistent Description Logics
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
We present a novel approach to querying classical inconsistent description logic (DL) knowledge bases by adopting a~paraconsistent semantics with the four Belnapian values: exactly…
Filter-induced entailment relations in paraconsistent Gödel logics
Sabine Frittella, Daniil Kozhemiachenko
We consider two expansions of Gödel logic with two versions of paraconsistent negation. The first one is -- the expansion of with an in…
Non-distributive relatives of ETL and NFL
Daniil Kozhemiachenko
In this paper, we devise non-distributive relatives of Exactly True Logic (ETL) by Pietz and Riveccio and its dual (NFL) Non-Falsity Logic by Shramko, Zaitsev and Belikov. We consi…
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
Daniil Kozhemiachenko
In this paper, we present a~generalisation of proof simulation procedures for Frege systems by Bonet and Buss to some logics for which the deduction theorem does not hold. In parti…
Non-contingecy in a paraconsistent setting
Daniil Kozhemiachenko, Liubov Vashentseva
We study an extension of First Degree Entailment (FDE) by Dunn and Belnap with a non-contingency operator which is construed as " has the same value in all acc…
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
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…
Simple tableaux for two expansions of Gödel modal logic
Marta Bilkova, Thomas Ferguson, Daniil Kozhemiachenko
This paper considers two logics. The first one, , is an expansion of the Gödel modal logic with the involutive negation $\…