<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></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

Institute of Sociology, University of Białystok, Poland

Formalized Mathematics

{"article-title":"The Axiomatization of Propositional Linear Time Temporal Logic"}

The article introduces propositional linear time temporal logic as a formal system. Axioms and rules of derivation are defined. Soundness Theorem and Deduction...

The Axiomatization of Propositional Linear Time Temporal Logic

Publié en ligne: 18 juil. 2011

Pages: 113 - 119

DOI: https://doi.org/10.2478/v10037-011-0018-1

This content is open access.