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

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

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

(21)

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

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)