C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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