@MISC{LTLAXIO2.MIZ,
  AUTHOR = {Giero, Mariusz},
  TITLE = {The Derivations of Temporal Logic Formulas},
  ACKNOWLEDGEMENT = {I would like to thank Prof. Andrzej Trybulec,
  Dr. Artur Korni{\l}owicz, Dr. Adam Naumowicz and
  Karol P\c{a}k for their help in preparation of the article.},
  SECTION1 = {Preliminaries},
  SECTION2 = {$n$-argument Connectives and Their Properties},
  SECTION3 = {Classical Tautologies of Temporal Language},
  SECTION4 = {The Derivations of Temporal Logic Formulas within Classical Logic},
  SECTION5 = {The Derivations of Temporal Logic Formulas},
  DAY = {7},
  MONTH = {May},
  YEAR = {2012},
  ADDRESS1 = {Department of Logic, Informatics and Philosophy of Science\\University of Bia{\l}ystok\\
  Plac Uniwersytecki 1, 15-420 Bia{\l}ystok\\Poland},
  SUMMARY = {This is a preliminary article to prove completeness
  theorem of propositional temporal logic. We introduce
  $n$-arguments connectives and prove their properties. We
  derive temporal logic formulas.}}

@BOOK{KroMer,
 AUTHOR={Kr\"oger, Fred and Merz, Stephan},
 TITLE={Temporal Logic and State Systems},
 PUBLISHER={Springer-Verlag},
 YEAR={2008}}

