Keyphrases
- higher order logic
- sequent calculus
- inference rules
- theorem prover
- logical framework
- conditional logic
- higher order
- modal logic
- natural deduction
- linear logic
- cut elimination
- theorem proving
- linear time temporal logic
- proof search
- automated reasoning
- data representation
- temporal logic
- belief revision
- random variables
- general purpose
- pairwise