Keyphrases
- modal logic
- cut elimination
- sequent calculus
- classical logic
- inference rules
- temporal logic
- nonmonotonic logics
- linear logic
- epistemic logic
- natural deduction
- proof search
- conditional logic
- kripke models
- default logic
- theorem prover
- logical framework
- dynamic logic
- situation calculus
- modal operators
- theorem proving
- valued logic
- logic programming
- data mining