Keyphrases
- sound and complete axiomatization
- multi valued
- theorem proving
- proof procedure
- probabilistic logic
- first order logic
- horn clauses
- deductive reasoning
- autoepistemic logic
- propositional logic
- coalition logic
- classical logic
- predicate calculus
- logic programming
- proof theory
- logical theories
- propositional variables
- general logic programs
- modal logic
- default logic
- abductive reasoning
- linear logic
- logical framework
- model theoretic
- truth values
- defeasible logic
- belief revision