An Adequate First Order Logic of Intervals

Zhou Chaochen, Michael Reichhardt Hansen, Willem-Paul de Roever (Editor), Hans Langmaack (Editor), Amir Pnueli (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    This paper introduces left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first order logic for the neighbourhood modalities is presented. It is demonstrated how the logic can support formal specification and verification of liveness and fairness, and also of various notions of real analysis.
    Original languageEnglish
    Title of host publicationCompositionality: The Significant Difference
    PublisherSpringer Verlag
    Publication date1998
    Pages584-608
    Publication statusPublished - 1998
    EventCompositionality: The Significant Difference -
    Duration: 1 Jan 1998 → …

    Conference

    ConferenceCompositionality: The Significant Difference
    Period01/01/1998 → …

    Fingerprint

    Dive into the research topics of 'An Adequate First Order Logic of Intervals'. Together they form a unique fingerprint.

    Cite this