On the Expressiveness of MTL with Past Operators

Prabhakar, Pavithra and D’Souza, Deepak (2006) On the Expressiveness of MTL with Past Operators. [Book Chapter]

PDF On_the-10.pdf Restricted to Registered users only Download (628kB) | Request a copy

Abstract

We compare the expressiveness of variants of Metric Temporal Logic (MTL) obtained by adding the past operators ‘S’ and $‘S_I ’$. We consider these variants under the “pointwise" and “continuous" interpretations over both finite and infinite models. Among other results, we show that for each of these variants the continuous version is strictly more expressive than the pointwise version. We also prove a counterfreeness result for MTL which helps to carry over some results from [3] for the case of infinite models to the case of finite models.

Item Type:	Book Chapter
Publication:	Lecture Notes in Computer Science
Publisher:	Springer Link
Additional Information:	Copyright of this article belongs to Springer.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	22 Jun 2007
Last Modified:	19 Sep 2010 04:38
URI:	http://eprints.iisc.ac.in/id/eprint/11168

Actions (login required)

View Item