Sciweavers

IANDC
2007

Temporal logics with incommensurable distances are undecidable

13 years 3 months ago
Temporal logics with incommensurable distances are undecidable
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear time temporal logic. However, metric properties of real time cannot be expressed in this logic. The simplest modalities with metric properties are “X will happen within units of time”. The extension of TL by all these modalities with rational is decidable. We show that the extension of the linear time temporal logic by two modalities “X will happen within one unit of time”, “X will happen within unit of time” is undecidable, whenever is irrational. © 2007 Elsevier Inc. All rights reserved.
Alexander Rabinovich
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where IANDC
Authors Alexander Rabinovich
Comments (0)