Abstract
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.
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
de Jonge, R., IL–modellen en bisimulaties, preprint X-2004-06, ILLC, Amsterdam, 2004. http://www.illc.uva.nl/Publications/.
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.
Goranko, V., and M. Otto, Modal theory of modal logic, in Handbook of Modal Logic, Elsevier, 2006.
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.
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.
Vrgoč, D., and M. Vuković, Bisimulation quotients of Veltman models, Reports on Mathematical Logic, to appear.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Robert Goldblatt
Rights and permissions
About this article
Cite this article
Čačić, V., Vrgoč, D. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. Stud Logica 101, 31–44 (2013). https://doi.org/10.1007/s11225-011-9366-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9366-7