2026-08-09T08:34:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:15556 2024-03-06T10:55:35Z ddc:004 open_access

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics Holla, Raveendra Deka, Nabarun D'Souza, Deepak Real-Time Logics First-Order Logics We consider a first-order logic with linear constraints interpreted in a pointwise and continuous manner over timed words. We show that the two interpretations of this logic coincide in terms of expressiveness, via an effective transformation of sentences from one logic to the other. As a consequence it follows that the pointwise and continuous semantics of the logic TPTL with the since operator also coincide. Along the way we exhibit a useful normal form for sentences in these logics. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Raveendra Holla and Nabarun Deka and Deepak D'Souza 2021 Is Part Of LIPIcs, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2021.45 urn:nbn:de:0030-drops-155562 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.45 eng https://creativecommons.org/licenses/by/4.0/legalcode