The properties of sets of temporal logic subformulas

DOI10.2478/V10037-012-0026-9MaRDI QIDQ2852160zbMATH OpenOpenAlexFDO

Authors 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

basic propositional temporal logiccompleteness theoremtemporal model

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• The derivations of temporal logic formulas
• Weak completeness theorem for propositional linear time temporal logic
• scientific article; zbMATH DE number 757647
• scientific article; zbMATH DE number 1929309
• The power of temporal proofs

Cites work

• Semantics of MML query -- ordering
• Temporal logic and state systems
• The axiomatization of propositional linear time temporal logic
• The derivations of temporal logic formulas

Cited in

(4)

• The derivations of temporal logic formulas
• Weak completeness theorem for propositional linear time temporal logic
• Substructure Temporal Logic
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring

This page was built for publication: The properties of sets of temporal logic subformulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852160)