<abstract xmlns="http://www.w3.org/1999/xhtml"><p>This is a preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [12]. We introduce <italic>n</italic>-ary connectives and prove their properties. We derive temporal logic formulas.</p></abstract>

This is a preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [12]. We introduce n-ary connectives and prove their properties. We derive temporal logic formulas.

The Derivations of Temporal Logic Formulas

Department of Logic, Informatics and Philosophy of Science, University of Białystok, Plac Uniwersytecki 1, 15-420 Białystok, Poland

Formalized Mathematics

{"article-title":"The Derivations of Temporal Logic Formulas"}

This is a preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness...

The Derivations of Temporal Logic Formulas

Published Online: Feb 02, 2013

Page range: 215 - 219

DOI: https://doi.org/10.2478/v10037-012-0025-x

This content is open access.