Nick Bezhanishvili Balder ten Cate Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. 177-197 2006 16 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi056 db/journals/logcom/logcom16.html#BezhanishviliC06