Expressiveness of Metric Modalities for Continuous Time

DOI10.1007/11753728_23MaRDI QIDQ3434696zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich, Yoram Hirshfeld

Publication date 2 May 2007

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/0611119

Mathematics Subject Classification ID

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

Abstract: We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by the previous modalities, over the real line, or over the positive reals. Moreover, there is no finite temporal logic that can express all of them over the real line, so that no finite metric temporal logic is expressively complete.

Recommendations

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

Cited in

(11)

• The compound interest in relaxing punctuality
• Continuous accessibility modal logics
• A note on unbounded metric temporal logic over dense time domains
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• Continuous time temporal logic with counting
• Expressiveness of Metric modalities for continuous time
• An Expressive Temporal Logic for Real Time
• 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
• Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete
• Expressive equivalence between decidable freeze and metric timed temporal 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 Q3434696)