The Derivations of Temporal Logic Formulas

DOI10.2478/V10037-012-0025-XzbMath1285.03009OpenAlexW2041170190MaRDI QIDQ2852159

Mariusz Giero

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-012-0025-x

zbMATH Keywords

completeness theorem\(n\)-ary connectivestemporal logic formulas

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (2)

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
• The Axiomatization of Propositional Linear Time Temporal Logic

This page was built for publication: The Derivations of Temporal Logic Formulas