A Labelled Natural Deduction System for Linear Temporal Logic.
Andrzej IndrzejczakPublished in: Stud Logica (2003)
Keyphrases
- linear temporal logic
- natural deduction
- linear time temporal logic
- temporal logic
- theorem prover
- inference rules
- model checking
- bounded model checking
- sequent calculus
- theorem proving
- intuitionistic logic
- cut elimination
- domain specific
- belief revision
- markov chain
- learning algorithm
- general purpose
- object oriented
- reinforcement learning