Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- proof procedure
- deductive reasoning
- propositional logic
- predicate calculus
- classical first order logic
- first order logic
- logic programming
- modal logic
- default logic
- nonmonotonic logics
- general logic programs
- autoepistemic logic
- horn clauses
- truth maintenance systems
- theorem proving
- logical theories
- belief revision
- predicate logic
- automated reasoning
- dynamic logic
- probability theory
- logic programs with negation
- defeasible logic
- coalition logic
- probabilistic reasoning
- propositional theories
- deontic logic
- abductive reasoning
- computational properties
- digital circuits
- relational databases
- set theory