Hybrid logics characterization, interpolation and complexity - Areces, Carlos; Blackburn, Patrick 1959-; Marx, Maarten (Inst. for Logic, Language and Computation, 1999)