Login / Signup
PSPACE Bounds for Rank-1 Modal Logics
Lutz Schröder
Dirk Pattinson
Published in:
CoRR (2007)
Keyphrases
</>
modal logic
decision procedures
temporal logic
upper bound
inference rules
lower bound
mazurkiewicz traces
classical logic
nonmonotonic logics
model checking
default logic
epistemic logic
worst case
situation calculus
model theoretic
satisfiability problem
automated reasoning
complexity bounds