Tableaux with Dynamic Filtration for Layered Modal Logics.

Olivier Gasquet Bilal Said

Published in: TABLEAUX (2007)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
dynamic environments
situation calculus
default logic
sequent calculus
np hard
autoepistemic logic
data management
modal operators
dynamic logic
description logics