The derivations of temporal logic formulas

DOI10.2478/V10037-012-0025-XzbMATH Open1285.03009OpenAlexW2041170190MaRDI QIDQ2852159FDOQ2852159

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-0025-x

Recommendations

• The properties of sets of temporal logic subformulas
• Weak completeness theorem for propositional linear time temporal logic
• scientific article; zbMATH DE number 1929309
• A propositional logic of temporal connectives
• scientific article; zbMATH DE number 3904560

zbMATH Keywords

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

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

Cited In (4)

• The properties of sets of temporal logic subformulas
• Weak completeness theorem for propositional linear time temporal logic
• Adequate sets of temporal connectives in CTL
• Completeness of minimal positional calculus

This page was built for publication: The derivations of temporal logic formulas

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