Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Introduction Read chapter Read first chapter

2004 | OriginalPaper | Chapter

Interval Logic

Authors : Prof. Zhou Chaochen, Assoc. Prof. Dr. Michael R. Hansen

Published in: Duration Calculus

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

In this chapter we give the syntax, semantics and proof system for interval logic (IL). This part is based mainly on [27, 28]. Furthermore, we develop theorems and rules of IL which are useful when constructing proofs.

previous chapter Introduction
next chapter Duration Calculus
Metadata
Title
Interval Logic
Authors
Prof. Zhou Chaochen
Assoc. Prof. Dr. Michael R. Hansen
Copyright Year
2004
Publisher
Springer Berlin Heidelberg
Book
Duration Calculus

Print ISBN: 978-3-642-07404-2

Electronic ISBN: 978-3-662-06784-0

Copyright Year: 2004

DOI
https://doi.org/10.1007/978-3-662-06784-0_2

Premium Partner

    Image Credits