First-Order Modal Logic, M. Fitting and R. L. Mendelsohn.
Valentin B. ShehtmanPublished in: J. Log. Lang. Inf. (2001)
Keyphrases
- modal logic
- conditional logic
- decision procedures
- temporal logic
- general logic programs
- inference rules
- first order logic
- classical logic
- nonmonotonic logics
- epistemic logic
- higher order
- least squares
- autoepistemic logic
- default logic
- model theoretic
- explanation based generalization
- model fitting
- situation calculus
- fitting method
- propositional logic
- model checking
- prime implicates