The Axiomatization of Propositional Linear Time Temporal Logic

DOI10.2478/V10037-011-0018-1zbMath1276.03018OpenAlexW2016310740MaRDI QIDQ2865739

Mariusz Giero

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0018-1

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (4)

Propositional linear temporal logic with initial validity semantics ⋮ The Derivations of Temporal Logic Formulas ⋮ The Properties of Sets of Temporal Logic Subformulas ⋮ Weak Completeness Theorem for Propositional Linear Time Temporal Logic

Cites Work

• Temporal logic and state systems
• Semantics of MML Query - Ordering

This page was built for publication: The Axiomatization of Propositional Linear Time Temporal Logic