Keyphrases
- modal operators
- probability theory
- truth values
- modal logic
- belief revision
- automated reasoning
- logic programming
- belief functions
- proof theory
- digital circuits
- probability measures
- epistemic logic
- belief set
- artificial intelligence
- truth maintenance systems
- asynchronous circuits
- abductive reasoning
- classical logic
- multi valued
- description logics