First-Order Modal Logic: Frame Definability and a Lindström Theorem.
R. ZoghifardMassoud PourmahdianPublished in: Stud Logica (2018)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- decision procedures
- inference rules
- finite model theory
- first order logic
- epistemic logic
- propositional logic
- classical logic
- higher order
- default logic
- nonmonotonic logics
- general logic programs
- video frames
- model theoretic
- fixed point
- situation calculus
- prime implicates
- dynamic logic
- horn clauses
- autoepistemic logic
- artificial intelligence
- database theory
- explanation based generalization
- knowledge representation
- domain knowledge