| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Order Independent Temporal Properties
Abstract : The paper investigates temporal properties that are invariant with respect to the temporal ordering and that are expressible by temporal query languages either explicit like FO(≤) or implicit like TL. In the case of an explicit time representation, these "order invariant" temporal properties are simply those expressible in the language FO(=). In the case of an implicit time representation, we introduce a new language, TL(E i) that captures exactly these properties. The expressive power of the language TL(E i) is characterized via a gameà la Ehrenfeucht-Fraïssé. This provides another proof, using a more classical technique, that the implicit temporal language TL is strictly less expressive than the explicit temporal language FO(≤). This alternative proof is interesting by itself and opens new perspectives in the investigation of results of the same kind for more expressive implicit temporal languages than TL.
Cited literature [22 references]
https://hal.inria.fr/hal-02887779
Contributor : Luc Segoufin <>
Submitted on : Thursday, July 2, 2020 - 3:02:49 PM
Last modification on : Saturday, May 1, 2021 - 3:41:42 AM
Long-term archiving on: : Thursday, September 24, 2020 - 4:57:43 AM
Contributor : Luc Segoufin <>
Submitted on : Thursday, July 2, 2020 - 3:02:49 PM
Last modification on : Saturday, May 1, 2021 - 3:41:42 AM
Long-term archiving on: : Thursday, September 24, 2020 - 4:57:43 AM
File
journal.pdf
Files produced by the author(s)