A finitary-language semantics for propositional linear temporal logic

MaRDI QIDQ5485967zbMATH OpenFDO

Authors Ulrich Nitsche

Publication date 6 September 2006

Mathematics Subject Classification ID

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

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

(5)

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

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)