Transfer results for hybrid logic the case without satisfaction operators - Bezhanishvili, Nick; Cate, Balder ten (Inst. for Logic, Language and Computation, 2004)