The Axiomatization of Propositional Linear Time Temporal Logic.
Mariusz GieroPublished in: Formaliz. Math. (2011)
Keyphrases
- linear time temporal logic
- model checking
- natural deduction
- propositional logic
- sequent calculus
- temporal logic
- first order logic
- situation calculus
- cut elimination
- inference rules
- default logic
- modal operators
- linear temporal logic
- theorem prover
- reinforcement learning
- theorem proving
- knowledge compilation
- dynamic programming