%0 Journal Article
%T The Axiomatization of Propositional Linear Time Temporal Logic
%A Mariusz Giero
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0018-1
%X 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].
%U http://versita.metapress.com/content/j7p5614g73631703/?p=e63014958e714f888c6227088fa87423&pi=7