Recursive complexity of the Carnap first order modal logic C.
Amélie GheerbrantMarcin MostowskiPublished in: Math. Log. Q. (2006)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- decision procedures
- general logic programs
- inference rules
- epistemic logic
- classical logic
- dynamic logic
- prime implicates
- higher order
- default logic
- situation calculus
- nonmonotonic logics
- first order logic
- autoepistemic logic
- dempster shafer
- explanation based generalization
- belief functions
- nonmonotonic reasoning
- domain knowledge
- model checking