From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics.

Yaroslav I. Petrukhin Michal Zawidzki

Published in: AI*IA (2019)

Keyphrases

modal logic
epistemic logic
nonmonotonic logics
conditional logic
decision procedures
temporal logic
kripke models
inference rules
modal operators
dynamic logic
autoepistemic logic
situation calculus
classical logic
default logic
formal semantics
model theoretic
logic programming
sequent calculi
multi agent systems