2014 | OriginalPaper | Buchkapitel
On the Expressiveness of Metric Temporal Logic over Bounded Timed Words
verfasst von : Hsi-Ming Ho
Erschienen in: Reachability Problems
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
It is known that Metric Temporal Logic (
MTL
) is strictly less expressive than the Monadic First-Order Logic of Order and Metric (
FO
[<, +1]) in the pointwise semantics over bounded time domains (i.e., timed words of bounded duration) [15]. In this paper, we present an extension of
MTL
which has the same expressive power as (
FO
[<, +1]) in both the pointwise and continuous semantics over bounded time domains.