Propositional interval temporal logics: some promising paths | IEEE Conference Publication | IEEE Xplore