Keyphrases
- modal logic
- expressive power
- inference rules
- classical logic
- propositional calculus
- temporal reasoning
- spatial reasoning
- relation algebra
- distributive lattices
- inheritance reasoning
- clifford algebra
- nonmonotonic logics
- lower order
- proof theoretic
- decision procedures
- epistemic logic
- database
- temporal information
- multiscale
- similarity measure