Classes of First Order Formulas Under Various Satisfiability Definitions.
Hans Kleine BüningTheodor LettmannPublished in: CADE (1986)
Keyphrases
- first order logic
- boolean formula
- quantifier free
- np complete
- horn clauses
- propositional logic
- satisfiability problem
- higher order
- action theories
- phase transition
- cnf formula
- predicate calculus
- situation calculus
- sat problem
- expressive power
- propositional formulas
- logical formulas
- logic programming
- logic programs
- conjunctive normal form
- quantifier elimination
- multi class