Metric temporal reasoning with less than two clocks

DOI10.3166/JANCL.20.437-455MaRDI QIDQ2901203zbMATH OpenOpenAlexFDO

Authors Mark Alexander 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

Temporal logic (03B44) Computation over the reals, computable analysis (03D78)

Recommendations

• Metric temporal logic revisited
• A sampling approach to the analysis of metric temporal logic
• Programming in metric temporal logic
• Timer formulas and decidable metric temporal logic
• Decidable metric logics

Cites work

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

Cited in

(4)

• Bounded variability of metric temporal logic
• Metric temporal logic revisited
• scientific article; zbMATH DE number 4201699 (Why is no real title available?)
• scientific article; zbMATH DE number 2038760 (Why is no real title available?)

This page was built for publication: Metric temporal reasoning with less than two clocks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2901203)