2 papers
math.LO2025
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…
math.LO2025
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…