Transfer results for hybrid logic -- Part I: the case without satisfaction operators
Nick Bezhanishvili, Balder ten Cate

Abstract:
For every Kripke complete modal logic L we define its hybrid
companion L_H. For a reasonable class of logics, we present a
satisfiability-preserving translation from L_H to L. We prove
that for this class of logics, complexity, (uniform) interpolation,
finite axiomatization transfer from L to L_H.