Keyphrases
- first order logic
- quantifier free
- higher order
- horn clauses
- quantifier elimination
- stochastic dominance
- action theories
- neural network
- classical first order logic
- term rewriting
- mazurkiewicz traces
- finite model theory
- horn theories
- logical theories
- predicate calculus
- von neumann
- theory revision
- theoretical basis
- situation calculus