4 papers · 1 filter
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…
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…
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 i…
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…