The Properties of Sets of Temporal Logic Subformulas

DOI10.2478/V10037-012-0026-9zbMath1285.03010OpenAlexW2023723270MaRDI QIDQ2852160

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-0026-9

zbMATH Keywords

completeness theoremtemporal modelbasic propositional temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

Weak Completeness Theorem for Propositional Linear Time Temporal Logic

Cites Work

• Temporal logic and state systems
• The Derivations of Temporal Logic Formulas
• Semantics of MML Query - Ordering
• The Axiomatization of Propositional Linear Time Temporal Logic

This page was built for publication: The Properties of Sets of Temporal Logic Subformulas