Expressiveness of Metric modalities for continuous time

DOI10.2168/LMCS-3(1:3)2007zbMath1128.03007OpenAlexW2512926276MaRDI QIDQ5310679

Alexander Rabinovich, Joram Hirschfeld

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-3(1:3)2007

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (13)

Metric temporal logic revisited ⋮ The Expressive Power of Temporal and First-Order Metric Logics ⋮ Metric temporal reasoning with less than two clocks ⋮ Time-Bounded Verification ⋮ Linear Time Monitoring for One Variable TPTL ⋮ An SMT-based approach to satisfiability checking of MITL ⋮ Continuous time temporal logic with counting ⋮ Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities ⋮ Complexity of metric temporal logics with counting and the Pnueli modalities ⋮ On the expressiveness of TPTL and MTL ⋮ Unnamed Item ⋮ Decidable metric logics ⋮ Unnamed Item

This page was built for publication: Expressiveness of Metric modalities for continuous time