An Adequate First Order Interval Logic

  title={An Adequate First Order Interval Logic},
  author={Chaochen Zhou and Michael R. Hansen},
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


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 27 references

Notes on neighbourhood logic

  • Suman Roy, Zhou Chaochen
  • UNU/IIST, International Institute for Software…
  • 1997

A complete calculus for the neighbourhood logic

  • Zhou Chaochen
  • A complete calculus for the neighbourhood logic
  • 1996

Chopping a point

  • Zhou Chaochen, Michael R Hansen
  • BCS-FACS 7th Renement Workshop. Electronic…
  • 1996

Towards a proof assistant for interval logics

  • Mao Xiaoguang, Xu Qiwen, Dang Van Hung, Wang Ji
  • UNU/IIST, International Institute for Software…
  • 1996

Weak chop inverses and liveness in duration calculus

  • K Pandya
  • Formal Techniques in Real-Time and Fault-Tolerant…
  • 1996

Finite divergence

  • M R Hansen, P K Pandya, Zhou Chaochen
  • Theoretical Computer Science
  • 1995

Similar Papers

Loading similar papers…