Isomorphism via translation
Tadeusz Litak · Advances in Modal Logic · 2006
We observe that the known fact that the di! erence logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far wider class of general frames. This observation, together with a general completeness result and some al- gebraic theory of closure operators, is used to show that lattices of di! erence logics and of hybrid logics are isomorphic.