Kripke Completeness of First-Order Constructive Logics with Strong Negation.
Ichiro HasuoRyo KashimaPublished in: Log. J. IGPL (2003)
Keyphrases
- inference rules
- modal logic
- horn clauses
- conditional logic
- first order logic
- truth values
- logic programs
- expressive power
- higher order
- temporal logic
- logic programming
- classical first order logic
- desirable properties
- classical logic
- deductive databases
- valued logic
- quantifier elimination
- propositional logic
- nonmonotonic logics
- epistemic logic
- nonmonotonic inference
- theorem prover
- decision procedures
- model theoretic
- model checking
- propositional calculus
- data sets