scientific article; zbMATH DE number 3989329

MaRDI QIDQ3752371zbMATH OpenFDO

Authors Ronald Peikert

Publication date 1985

zbMATH Keywords

finite-state automatapropositional temporal logicomega-regular languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the expressive power of temporal logic
• On the expressive power of temporal logic for infinite words
• Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
• A finitary-language semantics for propositional linear temporal logic
• scientific article; zbMATH DE number 139828

Cited in

(8)

• Past, present, and infinite future
• An interval temporal logic characterization of extended \(\omega\)-regular languages
• A finitary-language semantics for propositional linear temporal logic
• Reasoning about periodicity on infinite words
• Expressiveness of propositional projection temporal logic with star
• scientific article; zbMATH DE number 139828 (Why is no real title available?)
• On the Relationship between  -automata and Temporal Logic Normal Forms
• Compiling \(\mathrm{FL}^\mathrm{res}\) on finite 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 Q3752371)