Keyphrases
- modal logic
- temporal logic
- decision procedures
- linear programming
- inference rules
- classical logic
- distributive lattices
- nonmonotonic logics
- epistemic logic
- default logic
- clifford algebra
- spatial reasoning
- topological spaces
- situation calculus
- artificial intelligence
- conditional logic
- modal operators
- prime implicates
- sequent calculus
- machine learning