Metric temporal logic revisited

DOI10.1007/S00236-015-0243-0zbMATH Open1339.03019OpenAlexW2286903566MaRDI QIDQ266865FDOQ266865

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

Recommendations

• Metric temporal reasoning with less than two clocks
• Decidable metric logics
• A time-model invariant fragment of metric temporal logic
• Metric temporal logic with durations
• Timer formulas and decidable metric temporal logic

zbMATH Keywords

metric temporal logicone-clock variant

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• The decision problem for linear temporal logic
• An axiomatization for until and since over the reals without the IRR rule
• Title not available (Why is that?)
• 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 \textsc{mtl} to deterministic timed automata
• When Are Timed Automata Determinizable?
• A really temporal logic
• The benefits of relaxing punctuality
• A tableau for temporal logic over the reals
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• The complexity of temporal logic over the reals
• Real-time logics: Complexity and expressiveness

Cited In (17)

• A sampling approach to the analysis of metric temporal logic
• Title not available (Why is that?)
• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• Title not available (Why is that?)
• Metric temporal description logics with interval-rigid names
• The quest for an adequate semantic basis of dense-time metric temporal logic
• The Expressive Power of Temporal and First-Order Metric Logics
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• HRELTL: a temporal logic for hybrid systems
• A theory of sampling for continuous-time metric temporal logic
• On metric temporal description logics
• On Process-Algebraic Extensions of Metric Temporal Logic
• Parametric Metric Interval Temporal Logic
• Metric temporal reasoning with less than two clocks
• Metric temporal description logics with interval-rigid names
• A time-model invariant fragment of metric temporal logic
• On Metric Temporal Łukasiewicz Logic

This page was built for publication: Metric temporal logic revisited

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