Syntactic cut-elimination for a fragment of the modal mu-calculus.
Kai BrünnlerThomas StuderPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- sequent calculus
- modal logic
- cut elimination
- inference rules
- linear logic
- natural deduction
- decision procedures
- temporal logic
- wide class
- proof theoretic
- natural language
- proof search
- linear time temporal logic
- nonmonotonic logics
- sufficient conditions
- classical logic
- default logic
- situation calculus
- theorem proving
- transition systems
- data model