✦ LIBER ✦

LTL Is Expressively Complete for Mazurkiewicz Traces

✍ Scribed by Volker Diekert; Paul Gastin

Book ID: 102587340
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 205 KB
Volume: 64
Category: Article
ISSN: 0022-0000
DOI: 10.1006/jcss.2001.1817

No coin nor oath required. For personal study only.

✦ Synopsis

A long standing open problem in the theory of (Mazurkiewicz) traces has been the question whether LTL (linear temporal logic) is expressively complete with respect to the first order theory. We solve this problem positively for finite and infinite traces and for the simplest temporal logic, which is based only on next and until modalities. Similar results were established previously, but they were all weaker, since they used additional past or future modalities. Another feature of our work is that our proof is direct and does not use any reduction to the word case.

📜 SIMILAR VOLUMES

The α/β carboxy-terminal domains of p63

The α/β carboxy-terminal domains of p63 are required for skin and limb development. New insights from the Brdm2 mouse which is not a complete p63 knockout but expresses p63 γ-like proteins

✍ Wolff, S; Talos, F; Palacios, G; Beyer, U; Dobbelstein, M; Moll, U M 📂 Article 📅 2009 🏛 Nature Publishing Group 🌐 English ⚖ 781 KB

Renal insufficiency and anemia are indep

Renal insufficiency and anemia are independent risk factors for death among patients with acute myocardial infarction1,21As published material, the contents of this manuscript may not be cited, quoted, reproduced or published without the consent of the authors.2The analyses upon which this publication is based were performed under Contract Number 500-96-P704, entitled âOperation Utilization and Quality Control Peer Review Organization (PRO) for the State of Georgiaâ and sponsored by the Centers for Medicare and Medicaid Services (CMS), Department of Health and Human Services. The conclusions and opinions expressed, and methods used herein are those of the authors. They do not necessarily reflect CMS policy. The authors assume full responsibility for the accuracy and completeness of the ideas presented. This article is a direct result of the Health Care Quality Improvement Program initiated by CMS, which has encouraged identification of quality improvement projects derived from analysis of patterns of care, and therefore required no special funding on the part of this Contractor. Ideas and contributions to the authors concerning experience in engaging with issues presented are welcomed.

✍ Langston, Robert D.; Presley, Rodney; Flanders, W. Dana; Mcclellan, William M. 📂 Article 📅 2003 🏛 Nature Publishing Group 🌐 English ⚖ 373 KB