An Expressive Temporal Logic for Real Time

DOI10.1007/11821069_43MaRDI QIDQ5756667zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich, Yoram Hirshfeld

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11821069_43

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Continuous time temporal logic with counting
• Expressiveness of Metric Modalities for Continuous Time
• Expressiveness of Metric modalities for continuous time
• Decidability and Expressive Power of Real Time Logics
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities

Cited in

(31)

• The compound interest in relaxing punctuality
• SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
• On the expressiveness of TPTL and MTL
• Metric temporal logic revisited
• scientific article; zbMATH DE number 1670577 (Why is no real title available?)
• Metric temporal logic with counting
• Advances in Parametric Real-Time Reasoning
• Three variables suffice for real-time logic
• Linear-time temporal logic with event freezing functions
• Expressiveness of Metric Modalities for Continuous Time
• Decidability and Expressive Power of Real Time Logics
• Timed Temporal Logics for Abstracting Transient States
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• Continuous time temporal logic with counting
• scientific article; zbMATH DE number 2112984 (Why is no real title available?)
• scientific article; zbMATH DE number 770153 (Why is no real title available?)
• scientific article; zbMATH DE number 1424034 (Why is no real title available?)
• scientific article; zbMATH DE number 1444740 (Why is no real title available?)
• Logics meet 1-clock alternating timed automata
• Distributed event clock automata (extended abstract)
• Expressiveness of Metric modalities for continuous time
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• On the Priorean temporal logic with `around now' over the real line
• Formal Modeling and Analysis of Timed Systems
• Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
• From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
• When do you start counting? Revisiting counting and Pnueli modalities in timed logics
• Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete
• Metric quantifiers and counting in timed logics and automata
• Expressive equivalence between decidable freeze and metric timed temporal logics.
• Complexity of metric temporal logics with counting and the Pnueli modalities

This page was built for publication: An Expressive Temporal Logic for Real Time

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