Studia Logica

, Volume 101, Issue 1, pp 31–44 | Cite as

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

  • Vedran ČačićEmail author
  • Domagoj Vrgoč


Provability logic is a modal logic for studying properties of provability predicates, and Interpretability logic for studying interpretability between logical theories. Their natural models are GL-models and Veltman models, for which the accessibility relation is well-founded. That’s why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem (see [1]) doesn’t exist for them. However, we show that the analogous condition must still hold, by constructing two GL-models with worlds in them that are modally equivalent but not bisimilar, and showing how these GL-models can be converted to Veltman models with the same properties. In the process we develop some useful constructions: games on Veltman models, chains, and general method of transformation from GL-models/frames to Veltman ones.


Provability logic Interpretability logic GL-models Veltman models Bisimulation Modal equivalence 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.Google Scholar
  2. 2.
    de Jonge, R., IL–modellen en bisimulaties, preprint X-2004-06, ILLC, Amsterdam, 2004.
  3. 3.
    de Jongh, D., and F. Veltman, Provability logics for relative interpretability, in P. P. Petkov (ed.), Mathematical Logic, Proceedings of the 1988 Heyting Conference, Plenum Press, New York, 1990, pp. 31–42.Google Scholar
  4. 4.
    Goranko, V., and M. Otto, Modal theory of modal logic, in Handbook of Modal Logic, Elsevier, 2006.Google Scholar
  5. 5.
    Visser, A., Interpretability logic, in P. P. Petkov (ed.), Mathematical Logic, Proceedings of the 1988 Heyting Conference, Plenum Press, New York, 1990, pp. 175–210.Google Scholar
  6. 6.
    Visser, A., An overview of interpretability logic, in K. Marcus et al. (eds.), Advances in Modal Logic. Vol. 1. Selected Papers from the 1st International Workshop (AiML’96), Berlin, Germany, October 1996, CSLI Publications, Stanford, CA, CSLI Lect. Notes. Vol. 87, 1998, pp. 307–359.Google Scholar
  7. 7.
    Vrgoč, D., and M. Vuković, Bisimulation quotients of Veltman models, Reports on Mathematical Logic, to appear.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of ZagrebZagrebCroatia
  2. 2.School of InformaticsUniversity of EdinburghEdinburghScotland, UK
  3. 3.Faculty of AgricultureUniversity of ZagrebZagrebCroatia

Personalised recommendations