A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic
- 113 Downloads
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 ) 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.
KeywordsProvability logic Interpretability logic GL-models Veltman models Bisimulation Modal equivalence
Unable to display preview. Download preview PDF.
- 1.Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.Google Scholar
- 2.de Jonge, R., IL–modellen en bisimulaties, preprint X-2004-06, ILLC, Amsterdam, 2004. http://www.illc.uva.nl/Publications/.
- 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.Goranko, V., and M. Otto, Modal theory of modal logic, in Handbook of Modal Logic, Elsevier, 2006.Google Scholar
- 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.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.Vrgoč, D., and M. Vuković, Bisimulation quotients of Veltman models, Reports on Mathematical Logic, to appear.Google Scholar