Keyphrases
- modal operators
- modal logic
- expressive power
- belief revision
- conditional logic
- belief functions
- proof theory
- truth values
- inference rules
- imprecise probabilities
- classical logic
- artificial intelligence
- decision procedures
- incomplete data
- epistemic logic
- dempster shafer
- model checking
- first order logic
- intuitionistic logic
- decision trees