Cut Elimination in Hypersequent Calculus for some Logics of linear Time.
Andrzej IndrzejczakPublished in: Rev. Symb. Log. (2019)
Keyphrases
- sequent calculus
- cut elimination
- inference rules
- modal logic
- sequent calculi
- proof theoretic
- linear logic
- natural deduction
- intuitionistic logic
- wide class
- temporal logic
- classical logic
- decision procedures
- logical framework
- linear time temporal logic
- theorem proving
- first order logic
- proof search
- expressive power
- sufficient conditions
- theorem prover
- proof theory
- logic programming
- automated reasoning
- machine learning
- situation calculus
- simulated annealing
- probabilistic model