scientific article; zbMATH DE number 1499103

MaRDI QIDQ4501157zbMATH OpenFDO

Authors Ulrich Nitsche

Publication date 3 September 2000

zbMATH Keywords

alphabetic language homomorphismpropositional linear temporal logicreactive systemstate sequences

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• A finitary-language semantics for propositional linear temporal logic
• scientific article; zbMATH DE number 139828
• On the expressive power of temporal logic

Cited in

(8)

• A propositional linear time logic with time flow isomorphic to ^2
• scientific article; zbMATH DE number 3870583 (Why is no real title available?)
• Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
• A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
• Hybrid languages and temporal logic
• scientific article; zbMATH DE number 1502114 (Why is no real title available?)
• Model Theoretic Syntax and Parsing
• A finitary-language semantics for propositional linear temporal logic

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 Q4501157)