Expressiveness of metric modalities for continuous time

Yoram Hirshfeld*, Alexander Rabinovich

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

10 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. We use this sequence to prove that over the real line there is no finite temporal logic that can express all the natural properties that arise when dealing with systems that evolve in continuous time.

Original languageEnglish
Pages (from-to)211-220
Number of pages10
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3967 LNCS
DOIs
StatePublished - 2006
Event1st International Computer Science Symposium in Russia, CSR 2006 - St. Petersburg, Russian Federation
Duration: 8 Jun 200612 Jun 2006

Fingerprint

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

Cite this