Expressiveness of Metric modalities for continuous time

DOI10.2168/LMCS-3(1:3)2007MaRDI QIDQ5310679zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich, Yoram Hirshfeld

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)

Recommendations

• Expressiveness of Metric Modalities for Continuous Time
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• Continuous time temporal logic with counting
• An Expressive Temporal Logic for Real Time
• Decidable metric logics

Cited in

(19)

• Metric temporal logic revisited
• scientific article; zbMATH DE number 7561609 (Why is no real title available?)
• Continuous time temporal logic with counting
• An Expressive Temporal Logic for Real Time
• An SMT-based approach to satisfiability checking of MITL
• Complexity of metric temporal logics with counting and the Pnueli modalities
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• Decidable metric logics
• When is metric temporal logic expressively complete?
• The Expressive Power of Temporal and First-Order Metric Logics
• Expressive completeness for metric temporal logic
• On the expressiveness of TPTL and MTL
• Time-Bounded Verification
• Expressiveness of Metric Modalities for Continuous Time
• Metric temporal reasoning with less than two clocks
• Preservation of expressive completeness in temporal models
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• Continuous accessibility modal logics
• Linear Time Monitoring for One Variable TPTL

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

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