Alexander Rabinovich. Temporal Logics over Linear Time Domains Are in PSPACE. In Antonín Kucera, Igor Potapov, editors, Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings. Volume 6227 of Lecture Notes in Computer Science, pages 29-50, Springer, 2010. [doi]
Abstract is missing.