7 citations · 31 across the 26 of their papers we have counts for
4 papers · 1 filter
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…