The computational complexity of hybrid temporal logics - Areces, Carlos; Blackburn, Patrick 1959-; Marx, Maarten (Inst. for Logic, Language and Computation, 2000)