On the expressiveness of MTL in the pointwise and continuous semantics

Deepak D'Souza and Pavithra Prabhakar

We show that the pointwise version of the logic MTL is strictly less expressive than the continuous version, over finitewords. The proof is constructive in that we exhibit a timed language, which is definable in the continuous semantics but is not definable in the pointwise semantics.

Sotware Tools for Technology Transfer (STTT), 2007
Download: BIB PS PDF