On the Complexity of Graded Modal Logics with Converse.
Bartosz BednarczykEmanuel KieronskiPiotr WitkowskiPublished in: CoRR (2018)
Keyphrases
- modal logic
- decision procedures
- inference rules
- nonmonotonic logics
- temporal logic
- epistemic logic
- computational complexity
- classical logic
- worst case
- dynamic logic
- conditional logic
- situation calculus
- decision problems
- special case
- automated reasoning
- query processing
- natural language
- cooperative
- artificial intelligence