Keyphrases
- propositional logic
- valued logic
- first order logic
- belief revision
- quantified boolean formulae
- truth values
- modal logic
- possibilistic logic
- lattice theory
- propositional satisfiability
- proof procedure
- multi valued
- davis putnam
- propositional formulas
- truth maintenance systems
- belief change
- knowledge base
- query language