Metric temporal logic revisited

DOI10.1007/s00236-015-0243-0zbMath1339.03019OpenAlexW2286903566MaRDI QIDQ266865

M. A. Reynolds

Publication date: 7 April 2016

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-015-0243-0

zbMATH Keywords

metric temporal logicone-clock variant

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

Metric temporal reasoning with less than two clocks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of temporal logic over the reals
• Real-time logics: Complexity and expressiveness
• The decision problem for linear temporal logic
• An axiomatization for until and since over the reals without the IRR rule
• A tableau for general linear temporal logic
• Metric temporal reasoning with less than two clocks
• Model Checking Temporal Metric Specifications with Trio2Promela
• On the Expressiveness of MTL Variants over Dense Time
• From MITL to Timed Automata
• On Expressiveness and Complexity in Real-Time Model Checking
• Some Recent Results in Metric Temporal Logic
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• MTL with Bounded Variability: Decidability and Complexity
• From Mtl to Deterministic Timed Automata
• When Are Timed Automata Determinizable?
• A really temporal logic
• The benefits of relaxing punctuality
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• What good are digital clocks?
• Expressiveness of Metric modalities for continuous time
• An Expressive Temporal Logic for Real Time
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Metric temporal logic revisited