Keyphrases
- linear temporal logic
- general logic programs
- conditional logic
- horn clauses
- logic programming
- first order logic
- probabilistic logic
- classical first order logic
- sound and complete with respect
- modal logic
- propositional dynamic logic
- higher order
- classical logic
- predicate calculus
- high level
- predicate logic
- finite model theory
- automated reasoning
- logical theories
- low level
- set theory
- multi valued
- default reasoning
- temporal logic
- model checking
- nonmonotonic logics
- defeasible logic
- asynchronous circuits
- dynamic logic
- proof theory
- computational properties
- quantifier free
- theorem prover
- expressive power