A finitary-language semantics for propositional linear temporal logic

zbMATH Open1096.68672MaRDI QIDQ5485967FDOQ5485967

Authors: Ulrich Nitsche 

Publication date: 6 September 2006

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

Mathematics Subject Classification ID

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

Cited In (5)

• 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
• Title not available (Why is that?)

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)