Recursive enumerability and elementary frame definability in predicate modal logic.
Mikhail N. RybakovDmitry ShkatovPublished in: J. Log. Comput. (2020)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- datalog programs
- inference rules
- classical logic
- fixed point
- situation calculus
- epistemic logic
- propositional logic
- default logic
- nonmonotonic logics
- first order logic
- dynamic logic
- explanation based generalization
- prime implicates
- conditional logic
- video frames
- model checking
- artificial intelligence
- np complete