Hybrid logics with Sahlqvist axioms
Balder ten Cate, M. Marx, Petrúcio Viana · Logic Journal of IGPL · 2005
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general completeness result for pure axioms.