Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators

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

• Type: Journal
• Year: 2006
• Where: LOGCOM
• Authors: Nick Bezhanishvili, Balder ten Cate
• Keywords: Complete Modal Logic, Hybrid Companion Lh, LOGCOM 2006, Logics