On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces.

Bernhard Heinemann

Published in: LFCS (1997)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
modal operators
nonmonotonic logics
classical logic
conditional logic
worst case
situation calculus
horn clauses
dynamic logic
decision problems
epistemic logic
prime implicates
multi agent
pspace complete
model checking
computational complexity