Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
Alexander BolotovOleg M. GrigorievVasilyi ShanginPublished in: TIME (2007)
Keyphrases
- natural deduction
- linear time temporal logic
- sequent calculus
- cut elimination
- theorem prover
- inference rules
- first order logic
- theorem proving
- model checking
- intuitionistic logic
- linear logic
- propositional logic
- temporal logic
- logical theories
- proof procedure
- machine learning
- linear temporal logic
- modal operators
- state space