On the expressiveness of MTL in the pointwise and continuous semantics |
| |
| Authors: | Deepak D’Souza Pavithra Prabhakar |
| |
| Affiliation: | (1) Department of Computer Science and Automation, Indian Institute of Science, Bangalore, 560012, India |
| |
| Abstract: | 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. |
| |
| Keywords: | Real-time logics Metric Temporal Logic |
| 本文献已被 SpringerLink 等数据库收录！ |
