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...

Full description

Bibliographic Details

Published in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 349 - 357
Main Authors:	Hunter, Paul, Ouaknine, Joel, Worrell, James
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2013
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!