Sciweavers

LOGCOM
2006

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

14 years 12 days ago
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 .
Nick Bezhanishvili, Balder ten Cate
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LOGCOM
Authors Nick Bezhanishvili, Balder ten Cate
Comments (0)