7 citations · 31 across the 26 of their papers we have counts for
19 papers · 1 filter
Tableaux for epistemic Gödel logic
Marta Bílková, Thomas Ferguson, Daniil Kozhemiachenko
We propose a multi-agent epistemic logic capturing reasoning with degrees of plausibility that agents can assign to a given statement, with interpreted as "entirely plausible f…
Modal Logic for Reasoning About Uncertainty and Confusion
Marta Bílková, Thomas M. Ferguson, Daniil Kozhemiachenko
We consider a modal logic that can formalise statements about uncertainty and beliefs such as `I think that my wallet is in the drawer rather than elsewhere' or `I am confused whet…
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 $\…
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We present the axiomatisation of the fuzzy bi-Gödel modal logic (formulated in the language containing and treating the coimplication as a defined connective) and estab…
Knowledge and ignorance in Belnap--Dunn logic
Daniil Kozhemiachenko, Liubov Vashentseva
In this paper, we argue that the usual approach to modelling knowledge and belief with the necessity modality does not produce intuitive outcomes in the framework of the Bel…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
Paraconsistent Gödel modal logic on bi-relational frames
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We further develop the paraconsistent Gödel modal logic. In this paper, we consider its version endowed with Kripke semantics on -valued frames with two fuzzy relations $R^+…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…
Presumptive Reasoning in a Paraconsistent Setting
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
We explore presumptive reasoning in the paraconsistent case. Specifically, we provide semantics for non-trivial reasoning with presumptive arguments with contradictory assumptions…
Crisp bi-Gödel modal logic and its paraconsistent expansion
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-Gödel modal logic $\KbiG$. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each st…
Qualitative reasoning in a two-layered framework
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…
Paraconsistent Gödel modal logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce a~paraconsistent modal logic , based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation . We use the l…
Reasoning with belief functions over Belnap--Dunn logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko +2
We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We…
Constraint tableaux for two-dimensional fuzzy logics
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common unde…