zbMATH — the first resource for mathematics

Isomorphism via translation. (English) Zbl 1144.03015
Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 333-351 (2006).
Summary: 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 the lattices of difference logics and of hybrid logics are isomorphic.
For the entire collection see [Zbl 1135.03001].

03B45 Modal logic (including the logic of norms)
03G25 Other algebras related to logic
06A15 Galois correspondences, closure operators (in relation to ordered sets)
PDF BibTeX Cite