scientific article; zbMATH DE number 1136089

MaRDI QIDQ4381400zbMATH OpenFDO

Authors R. Meyer, A. Petit

Publication date 12 May 1998

zbMATH Keywords

finite tracesMazurkiewicz tracestemporal logicwreath product principle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45)

Recommendations

• Publication:4945225
• scientific article; zbMATH DE number 1670825
• LTL is expressively complete for Mazurkiewicz traces
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• Mathematical Foundations of Computer Science 2003

Cited in

(5)

• LTL is expressively complete for Mazurkiewicz traces
• An extension of the wreath product principle for finite Mazurkiewicz traces
• scientific article; zbMATH DE number 1222573 (Why is no real title available?)
• The Tractarian operation \(N\) and expressive completeness
• 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 Q4381400)