Keyphrases
- modal logic
- sequent calculus
- cut elimination
- classical logic
- inference rules
- temporal logic
- nonmonotonic logics
- linear logic
- epistemic logic
- conditional logic
- situation calculus
- kripke models
- default logic
- natural deduction
- proof search
- modal operators
- expressive power
- coalition logic
- logical framework
- fuzzy set theory
- theorem proving
- artificial intelligence
- data sets