The Axiomatization of Propositional Linear Time Temporal Logic
| 18. Juli 2011
Über diesen Artikel
Online veröffentlicht: 18. Juli 2011
Seitenbereich: 113 - 119
DOI: https://doi.org/10.2478/v10037-011-0018-1
This content is open access.
The article introduces propositional linear time temporal logic as a formal system. Axioms and rules of derivation are defined. Soundness Theorem and Deduction Theorem are proved [9].