Metric temporal reasoning with less than two clocks

DOI10.3166/jancl.20.437-455zbMath1242.03047MaRDI QIDQ2901203

M. A. Reynolds

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.20.437-455

Mathematics Subject Classification ID

03B44: Temporal logic

03D78: Computation over the reals, computable analysis

Related Items

Metric temporal logic revisited, Bounded variability of metric temporal logic

Cites Work

• Unnamed Item
• Metric temporal logic revisited
• The complexity of temporal logic over the reals
• Finite divergence
• Real-time logics: Complexity and expressiveness
• 25 years of model checking. History, achievements, perspectives
• The decision problem for linear temporal logic
• An axiomatization for until and since over the reals without the IRR rule
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• The complexity of the temporal logic with ``until over general linear time
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• On the Expressiveness of MTL Variants over Dense Time
• MTL with Bounded Variability: Decidability and Complexity
• On the decidability of continuous time specification formalisms
• A really temporal logic
• The benefits of relaxing punctuality
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Expressiveness of Metric modalities for continuous time