Isomorphism via translation

We observe that the known fact that the difference 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 algebraic theory of closure operators, is used to show that lattices of difference logics and of hybrid logics are isomorphic.

• Type: Conference
• Year: 2006
• Where: AIML
• Authors: Tadeusz Litak
• Keywords: AIML 2006, AIML 2008, Difference Logics, Hybrid Logics, Kripke Frames