Closing a Gap in the Complexity of Refinement Modal Logic.
Antonis AchilleosMichael LampisPublished in: CoRR (2013)
Keyphrases
- modal logic
- temporal logic
- inference rules
- epistemic logic
- decision procedures
- dynamic logic
- default logic
- conditional logic
- nonmonotonic logics
- computational complexity
- model checking
- situation calculus
- classical logic
- description logic alc
- worst case
- morphological operators
- space complexity
- autoepistemic logic
- higher order
- knowledge base