Thomas M. Ferguson

most citedModal Logic for Reasoning About Uncertainty and Confusion

1 citations · 1 across the 3 of their papers we have counts for

collaborators

Showing math.LOShow all

3 papers · 1 filter

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 $1$ 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…

math.LO2024

Simple tableaux for two expansions of Gödel modal logic

Marta Bilkova, Thomas Ferguson, Daniil Kozhemiachenko

This paper considers two logics. The first one, $K G_{inv}$ , is an expansion of the Gödel modal logic $K G$ with the involutive negation $\…