Expressiveness of metric modalities for continuous time

Research output: Contribution to journalArticlepeer-review

22 Scopus citations

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.

Original languageEnglish
Article number3
JournalLogical Methods in Computer Science
Volume3
Issue number1
DOIs
StatePublished - 23 Feb 2007

Keywords

  • Expressive completeness
  • Real Time
  • Temporal Logics

Fingerprint

Dive into the research topics of 'Expressiveness of metric modalities for continuous time'. Together they form a unique fingerprint.

Cite this