Keyphrases
- predicate calculus
- logic programming
- logical formulas
- horn clauses
- quantifier free
- linear time temporal logic
- modal operators
- predicate logic
- truth values
- state space
- modal logic
- sound and complete axiomatization
- asynchronous circuits
- multi valued
- logic programs
- relational calculus
- deontic logic
- automated reasoning
- transitive closure
- quantifier elimination
- first order logic
- neural network