Undecidability of the transitive graded modal logic with converse.
Evgeny ZolinPublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- decision procedures
- description logics
- temporal logic
- inference rules
- query containment
- epistemic logic
- probabilistic planning
- default logic
- transitive closure
- classical logic
- dynamic logic
- nonmonotonic logics
- conditional logic
- model checking
- autoepistemic logic
- answering queries
- situation calculus
- preference relations
- query evaluation
- expressive power
- prime implicates
- explanation based generalization
- description logic alc