3 citations · 5 across the 8 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012
The expressiveness of MTL with counting
Paul Hunter
It is well known that MTL with integer endpoints is unable to express all of monadic first-order logic of order and metric (FO(<,+1)). Indeed, MTL is unable to express the counting…
cs.LO2012
When is Metric Temporal Logic Expressively Complete?
Paul Hunter, Joël Ouaknine, James Worrell
A seminal result of Kamp is that over the reals Linear Temporal Logic (LTL) has the same expressive power as first-order logic with binary order relation < and monadic predicates.…
cs.LO2012★ 3 cited
Expressive Completeness of Metric Temporal Logic
Paul Hunter, Joël Ouaknine, James Worrell
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. A sem…