Recursive enumerability and elementary frame definability in predicate modal logic.
Mikhail N. RybakovDmitry ShkatovPublished in: CoRR (2019)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- datalog programs
- epistemic logic
- situation calculus
- nonmonotonic logics
- first order logic
- propositional logic
- classical logic
- default logic
- conditional logic
- fixed point
- video frames
- dynamic logic
- explanation based generalization
- autoepistemic logic
- description logic alc
- data model
- set theory
- horn clauses
- modal operators
- higher order
- prime implicates
- case based reasoning
- natural language