An Adequate First Order Logic of Intervals

Zhou Chaochen; Michael Reichhardt Hansen; Willem-Paul de Roever; Hans Langmaack; Amir Pnueli

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 proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Compositionality: The Significant Difference
Publisher	Springer Verlag
Publication date	1998
Pages	584-608
Publication status	Published - 1998
Event	Compositionality: The Significant Difference - Duration: 1 Jan 1998 → …

Conference

Conference	Compositionality: The Significant Difference
Period	01/01/1998 → …

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{a0882b0483d040fab7ae75f90c1c40b6,

title = "An Adequate First Order Logic of Intervals",

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.",

author = "Zhou Chaochen and Hansen, \{Michael Reichhardt\} and \{de Roever\}, Willem-Paul and Hans Langmaack and Amir Pnueli",

year = "1998",

language = "English",

pages = "584--608",

booktitle = "Compositionality: The Significant Difference",

publisher = "Springer Verlag",

address = "Germany",

note = "Compositionality: The Significant Difference ; Conference date: 01-01-1998",

}

TY - GEN

T1 - An Adequate First Order Logic of Intervals

AU - Chaochen, Zhou

AU - Hansen, Michael Reichhardt

A2 - de Roever, Willem-Paul

A2 - Langmaack, Hans

A2 - Pnueli, Amir

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

M3 - Article in proceedings

SP - 584

EP - 608

BT - Compositionality: The Significant Difference

PB - Springer Verlag

T2 - Compositionality: The Significant Difference

Y2 - 1 January 1998

ER -

An Adequate First Order Logic of Intervals

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this