7 citations · 31 across the 26 of their papers we have counts for
Showing 2025 · math.LOShow all
2 papers · 2 filters
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…
math.LO2025★ 1 cited
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…