First order modal temporal logics with generalized intervals | IEEE Conference Publication | IEEE Xplore