Resolution Calculi for Non-normal Modal Logics.

Dirk Pattinson Nicola Olivetti Cláudia Nalon

Published in: TABLEAUX (2023)

Keyphrases

modal logic
sequent calculi
temporal logic
inference rules
decision procedures
nonmonotonic logics
conditional logic
high resolution
epistemic logic
classical logic
default logic
situation calculus
model checking
default reasoning
np hard
autoepistemic logic
modal operators
natural language