scientific article; zbMATH DE number 3989329
From MaRDI portal
Publication:3752371
zbMATH Open0612.03015MaRDI QIDQ3752371FDOQ3752371
Authors: Ronald Peikert 
Publication date: 1985
Title of this publication is not available (Why is that?)
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
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)
Cited In (8)
- On the Relationship between -automata and Temporal Logic Normal Forms
- An interval temporal logic characterization of extended \(\omega\)-regular languages
- Reasoning about periodicity on infinite words
- A finitary-language semantics for propositional linear temporal logic
- Title not available (Why is that?)
- Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words
- Expressiveness of propositional projection temporal logic with star
- Past, present, and infinite future
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)
