5 papers
Complexity of Łukasiewicz Modal Probabilistic Logics
Daniil Kozhemiachenko, Igor Sedlár
Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we s…
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…
Paraconsistent Constructive Modal Logic
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional att…
Complexity of Abduction in Łukasiewicz Logic
Katsumi Inoue, Daniil Kozhemiachenko
We explore the problem of explaining observations in contexts involving statements with truth degrees such as `the lift is loaded', `the symptoms are severe', etc. To formalise the…
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…