Keyphrases
- modal logic
- inference rules
- temporal logic
- epistemic logic
- decision procedures
- expressive power
- model checking
- conditional logic
- first order logic
- classical logic
- default logic
- nonmonotonic logics
- desirable properties
- propositional calculus
- missing values
- databases
- incomplete data
- missing data
- multiscale
- data sets
- noisy data
- computer vision
- modal operators
- kripke models