Highly Influenced

# An Adequate First Order Interval Logic

@inproceedings{Zhou1997AnAF, title={An Adequate First Order Interval Logic}, author={Chaochen Zhou and Michael R. Hansen}, booktitle={COMPOS}, year={1997} }

- Published 1997 in COMPOS
DOI:10.1007/3-540-49213-5_23

The paper uses left and right neighbourhoods as primitive interval modalities to deene other unary and binary modalities of intervals in a rst order logic with interval length. A complete rst order logic for the neighbourhood modalities is presented. The paper demonstrates how the logic can support formal speciication and veri-cation of liveness and fairness, and also of various notions of real analysis.Â

#### From This Paper

##### Topics from this paper.

46 Citations

27 References

Similar Papers