A finitary-language semantics for propositional linear temporal logic

MaRDI QIDQ5485967zbMATH OpenFDO

Authors Ulrich Nitsche

Publication date 6 September 2006

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1499103
• scientific article; zbMATH DE number 3989329
• On the expressive power of temporal logic
• scientific article; zbMATH DE number 139631
• Sequent systems for PLTL

Cited in

(6)

• Finite-trace linear temporal logic: coinductive completeness
• Linear temporal logic -- from infinite to finite horizon
• Steedman's temporality proposal and finite automata
• scientific article; zbMATH DE number 3989329 (Why is no real title available?)
• scientific article; zbMATH DE number 1499103 (Why is no real title available?)
• Reasoning about periodicity on infinite words

This page was built for publication: A finitary-language semantics for propositional linear temporal logic

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