Keyphrases
- modal logic
- truth values
- valued logic
- valued semantics
- inference rules
- multi valued
- decision procedures
- temporal logic
- conditional logic
- classical logic
- expressive power
- nonmonotonic logics
- situation calculus
- epistemic logic
- real time
- propositional dynamic logic
- fixpoint
- proof theory
- modal operators
- similarity measure
- decision making
- computer vision
- information retrieval