Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
An Adequate First Order Interval Logic

An Adequate First Order Interval Logic

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1536/1998
BookCompositionality: The Significant Difference
DOI10.1007/3-540-49213-5
Copyright1998
ISBN978-3-540-65493-3
DOI10.1007/3-540-49213-5_23
Pages584-608
Subject CollectionComputer Science
SpringerLink DateThursday, January 01, 1998
Add to marked items

An Adequate First Order Interval Logic

Zhou Chaochen6 Contact Information and Michael R. Hansen7 Contact Information

(6)  UNU/IIST, P.O.Box 3058, Macau
(7)  Department of Information Technology, Technical University of Denmark, DK-2800 Lyngby
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.

Contact Information Zhou Chaochen
Email: zcc@iist.unu.edu

Contact Information Michael R. Hansen
Email: mrh@it.dtu.dk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.107 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)