Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
Nick Bezhanishvili, Balder ten Cate · Journal of Logic and Computation · 2006
We define for every Kripke complete modal logic L its hybrid companion LH and investigate which properties transfer from L to LH. For a specific class of logics, we present a satisfiability-preserving translation from LH to L. We prove that for this class of logics, complexity, (uniform) interpolation, and finite axiomatization transfer from L to LH. We also provide examples showing that, in general, none of complexity, decidability, the finite model property or the Beth property transfer.