Yoram Hirshfeld ; Alexander Rabinovich - Expressiveness of Metric modalities for continuous time

lmcs:2225 - Logical Methods in Computer Science, February 23, 2007, Volume 3, Issue 1 - https://doi.org/10.2168/LMCS-3(1:3)2007
Expressiveness of Metric modalities for continuous timeArticle

Authors: Yoram Hirshfeld ; Alexander Rabinovich ORCID

    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.

    https://doi.org/10.2168/LMCS-3(1:3)2007
    Source: arXiv.org:cs/0611119
    Volume: Volume 3, Issue 1
    Published on: February 23, 2007
    Submitted on: April 29, 2006
    Keywords: Computer Science - Logic in Computer Science,F.3.1,F.4,F.4.1
    Licence: arXiv.org - Assumed non-exclusive license to distribute

    14 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 1024 times.
    This article's PDF has been downloaded 348 times.