Keyphrases
- propositional logic
- sound and complete axiomatization
- multi valued
- proof procedure
- nonmonotonic logics
- finite model theory
- probabilistic logic
- belief revision
- general logic programs
- first order logic
- fixed point
- horn clauses
- predicate calculus
- propositional variables
- logic programming
- autoepistemic logic
- default logic
- classical logic
- modal logic
- truth maintenance systems
- deductive reasoning
- possibilistic logic
- classical first order logic
- predicate logic
- database theory
- coalition logic
- proof theory
- inference rules
- asynchronous circuits
- model checking
- logical framework
- deontic logic
- deductive databases
- defeasible logic
- computational properties