A First Order Nonmonotonic Extension of Constructive Logic.
David PearceAgustín ValverdePublished in: Stud Logica (2005)
Keyphrases
- logic programming
- nonmonotonic logics
- model theoretic
- modal logic
- general logic programs
- tableau calculus
- proof theoretic
- autoepistemic logic
- conditional logic
- nonmonotonic reasoning
- linear temporal logic
- truth maintenance systems
- logic programs
- defeasible logic
- default theories
- classical first order logic
- default logic
- classical logic
- strong equivalence
- deductive databases
- abductive reasoning
- horn clauses
- linear time temporal logic
- description logics
- probabilistic logic
- operational semantics
- first order logic
- predicate calculus
- sound and complete with respect
- higher order
- decision procedures
- multi valued
- deontic logic
- commonsense reasoning
- quantifier elimination
- probabilistic knowledge
- default reasoning
- theorem prover
- rule base
- belief revision
- knowledge base
- finite model theory