Keyphrases
- propositional logic
- nonmonotonic logics
- proof procedure
- propositional variables
- first order logic
- intuitionistic logic
- belief revision
- valued logic
- quantified boolean formulae
- theorem proving
- lattice theory
- inference rules
- possibilistic logic
- davis putnam
- modal logic
- belief change
- propositional satisfiability
- satisfiability testing
- horn logic
- logical framework
- theorem prover