3 papers
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…
cs.LO2025
Agent Interpolation for Knowledge
Marta Bílková, Wesley Fussner, Roman Kuznets
We define a new type of proof formalism for multi-agent modal logics with S5-type modalities. This novel formalism combines the features of hypersequents to represent S5 modalities…
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…