Natural Deduction Calculus for Computation Tree Logic.
Alexander BolotovOleg M. GrigorievVasilyi ShanginPublished in: John Vincent Atanasoff Symposium (2006)
Keyphrases
- natural deduction
- computation tree logic
- model checking
- inference rules
- epistemic logic
- temporal logic
- sequent calculus
- theorem prover
- bounded model checking
- cut elimination
- theorem proving
- intuitionistic logic
- modal logic
- formal specification
- temporal properties
- linear time temporal logic
- logical framework
- graphical models
- linear logic
- logic programs