A sequent calculus for a logic of contingencies.
Michael L. TiomkinPublished in: J. Appl. Log. (2013)
Keyphrases
- sequent calculus
- cut elimination
- linear logic
- inference rules
- modal logic
- natural deduction
- linear time temporal logic
- wide class
- classical logic
- proof search
- sufficient conditions
- first order logic
- theorem proving
- logical framework
- theorem prover
- temporal logic
- graphical models
- defeasible logic
- machine learning
- logic programming
- expert systems