A Proof System for the Linear Time µ-Calculus.
Christian DaxMartin HofmannMartin LangePublished in: FSTTCS (2006)
Keyphrases
- sequent calculus
- proof search
- cut elimination
- linear time temporal logic
- inference rules
- modal logic
- natural deduction
- worst case
- linear logic
- theorem prover
- theorem proving
- model checking
- algebraic structure
- model checker
- temporal logic
- automated deduction
- relational calculus
- case study
- proof procedure
- cardinal directions
- database
- linear space
- suffix array
- artificial intelligence