Keyphrases
- general logic programs
- linear temporal logic
- first order logic
- set theory
- horn clauses
- predicate calculus
- conditional logic
- rough sets
- sound and complete with respect
- higher order
- classical first order logic
- modal logic
- multi valued
- logic programming
- classical logic
- logical framework
- truth values
- stochastic dominance
- quantifier free
- model theoretic
- logical theories
- computational properties
- nonmonotonic logics
- logical formulas