Abstract
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].
The Axiomatization of Propositional Linear Time Temporal Logic
By: Mariusz Giero
Open Access
|Jul 2011Language: English
Page range: 113 - 119
Published on: Jul 18, 2011
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2011 Mariusz Giero, published by University of Białystok
This work is licensed under the Creative Commons License.