Keyphrases
- belief set
- belief revision
- belief change
- modal operators
- horn logic
- probability theory
- sound and complete axiomatization
- modal logic
- belief update
- classical logic
- minimal change
- default reasoning
- belief functions
- propositional logic
- logical framework
- defeasible logic
- proof theory
- logic programming
- truth values
- multi valued
- website
- nonmonotonic logics
- asynchronous circuits
- linear logic
- truth maintenance systems
- situation calculus
- temporal logic