A complete axiomatization of interval temporal logic with infinite time | IEEE Conference Publication | IEEE Xplore