Expressive Completeness for Metric Temporal Logic

Metric Temporal Logic (MTL) is a generalisation of Linear Temporal Logic in which the Until and Since modalities are annotated with intervals that express metric constraints. Hirshfeld and Rabinovich have shown that over the reals, firstorder logic with binary order relation <; and unary function...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science S. 349 - 357
Hauptverfasser:	Hunter, Paul, Ouaknine, Joel, Worrell, James
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.06.2013
Schlagworte:	Computer science Expressive Completeness First-Order Logic Linear Temporal Logic Metric Temporal Logic Semantics Silicon Syntactics Time-domain analysis Timing
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!