Hanpin Wang Qiwen Xu Completeness of temporal logics over infinite intervals. 87-103 2004 136 Discrete Applied Mathematics 1 http://dx.doi.org/10.1016/S0166-218X(03)00201-4 db/journals/dam/dam136.html#WangX04