scientific article; zbMATH DE number 139631

MaRDI QIDQ4029611zbMATH OpenFDO

Authors Wolfgang Thomas

Publication date 28 March 1993

zbMATH Keywords

formal languagelivenessmodel theoryomega-languagespropositional temporal logicsafetysemigroup

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Automata and formal grammars in connection with logical questions (03D05) Semigroups in automata theory, linguistics, etc. (20M35) Formal languages and automata (68Q45)

Recommendations

• Deciding safety and liveness in TPTL
• Safety, liveness and fairness in temporal logic
• Probably safe or live
• Characterization of temporal property classes
• Recognizing safety and liveness

Cited in

(16)

• Safety, liveness and fairness in temporal logic
• LTL is closed under topological closure
• A lattice-theoretic characterization of safety and liveness
• A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
• Deciding safety and liveness in TPTL
• Probably safe or live
• Anchored LTL separation
• scientific article; zbMATH DE number 2087486 (Why is no real title available?)
• Characterization of temporal property classes
• Computer Science Logic
• A finitary-language semantics for propositional linear temporal logic
• A first-order logic characterization of safety and co-safety languages
• A first-order logic characterisation of safety and co-safety languages
• Refining the Safety-Liveness Classification of Temporal Properties According to Realizability
• Expressiveness of extended bounded response \textsf{LTL}
• On the expressive power of temporal logic for infinite words

This page was built for publication:

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