Mark Reynolds. The complexity of temporal logic over the reals. Annals of Pure and Applied Logic, 161(8):1063-1096, 2010. [doi]
@article{Reynolds10-3, title = {The complexity of temporal logic over the reals}, author = {Mark Reynolds}, year = {2010}, doi = {10.1016/j.apal.2010.01.002}, url = {http://dx.doi.org/10.1016/j.apal.2010.01.002}, researchr = {https://researchr.org/publication/Reynolds10-3}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {161}, number = {8}, pages = {1063-1096}, }