Interval Temporal Logics with Chop-Like Operators | IEEE Conference Publication | IEEE Xplore