Keyphrases
- modal operators
- three dimensional
- truth values
- probability theory
- belief functions
- modal logic
- real time
- belief revision
- multi valued
- classical logic
- logic programming
- multi dimensional
- automated reasoning
- truth maintenance systems
- belief set
- computational properties
- probability measures
- predicate logic
- description logics
- epistemic logic
- data sets
- digital circuits
- subjective logic
- proof theory
- temporal logic
- nonmonotonic logics
- set theory
- database
- expected utility