Weak Completeness Theorem for Propositional Linear Time Temporal Logic

DOI10.2478/V10037-012-0027-8zbMath1285.03011OpenAlexW1963842936MaRDI QIDQ2852161

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-0027-8

zbMATH Keywords

completeness theoremtemporal logictemporal modelsatisfiability theoremweak completeness theorem

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Temporal logic and state systems
• The Derivations of Temporal Logic Formulas
• The Properties of Sets of Temporal Logic Subformulas
• Semantics of MML Query - Ordering
• The Axiomatization of Propositional Linear Time Temporal Logic
• Continuity of Barycentric Coordinates in Euclidean Topological Spaces

This page was built for publication: Weak Completeness Theorem for Propositional Linear Time Temporal Logic