2026-10-10T21:17:36Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27697 2026-10-10T19:48:19Z ddc:004 open_access

Revisiting the Expressiveness of Metric Temporal Logic Foughali, Mohammed Aristide Timed logics Metric temporal logic The expressiveness of Metric Temporal Logic (MTL) has been extensively studied throughout the last two decades. In particular, it has been shown that the interval-based semantics of MTL is strictly more expressive than the pointwise one. These results may suggest that enabling the evaluation of formulae at arbitrary time points instead of positions of timed events increases the expressive power of MTL. In this paper, we formally argue otherwise. We demonstrate that under standard models of finite or non-Zeno infinite (action-based) timed executions, the interval-based and the pointwise semantics are incomparable. We then propose a new mixed semantics that embeds both the pointwise and the interval-based ones. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mohammed Aristide Foughali 2026 Is Part Of OASIcs, Volume 146, 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.TIME.2026.1 urn:nbn:de:0030-drops-276970 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.TIME.2026.1 eng https://creativecommons.org/licenses/by/4.0/legalcode