Keyphrases
- linear temporal logic
- general logic programs
- first order logic
- conditional logic
- horn clauses
- logic programming
- classical first order logic
- emotional intelligence
- higher order
- modal logic
- probabilistic logic
- sound and complete with respect
- predicate calculus
- set theory
- quantifier free
- stochastic dominance
- multi valued
- propositional theories
- quantifier elimination
- asynchronous circuits
- expressive power
- classical logic
- computational properties
- epistemic logic
- action theories
- nonmonotonic logics
- real numbers
- operational semantics