Interval logic and its extension | IEEE Conference Publication | IEEE Xplore