Keyphrases
- modal logic
- nonmonotonic logics
- inference rules
- decision procedures
- temporal logic
- linear programming
- classical logic
- default logic
- expressive power
- epistemic logic
- conditional logic
- situation calculus
- modal operators
- propositional variables
- computational properties
- higher order
- duality gap
- tableau calculus
- coalition logic
- kripke models