Bisimulation Quotients of Veltman Models

Domagoj Vrgoč,

Mladen Vuković

Abstrakt

Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Gödel–Löb). Bisimulation quotients and largest bisimulations have been well studied for Kripke models. We examine interpretability logic and consider how these results extend to Veltman models
 

References
[1] A. Berarducci, The Interpretability Logic of Peano Arithmetic, Journal of Symbolic Logic 55 (1990), pp. 1059–1089.
[2] P. Blackburn, J. van Benthem, Modal Logic: a semantic perspective, In: F. Wolter (ed.) et al., Handbook of Modal Logic, Elsevier, 2006.
[3] R. de Jonge, IL–modellen en bisimulaties, preprint X-2004-06, ILLC, Amsterdam, 2004. http://www.illc.uva.nl/Publications/
[4] D. de Jongh, 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.
[5] V. Goranko, M. Otto, Model theory of modal Logic, In: F. Wolter (ed.) et al., Handbook of Modal Logic, Elsevier, 2006.
[6] E. Goris, J. Joosten, Modal Matters for Interpretability Logics, Logic Journal of IGPL 16 (2008), pp. 371–412.
[7] A. Visser, Interpretability logic, In: P. P. Petkov (ed.), Mathematical Logic, Proceedings of the 1988 Heyting Conference, Plenum Press, New York, 1990, pp. 175– 210.
[8] A. Visser, An overview of interpretability logic, In: K. Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers from the 1st international workshop (AiML’96), Berlin, Germany, October 1996, Stanford, CA: CSLI Publications, CSLI Lect. Notes. 87 (1998), pp. 307–359.
[9] M. Vukovi´c, Hennessy–Milner theorem for interpretability logic, Bulletin of the Section of Logic 34 (2005), pp. 195–201.
[10] M. Vukovi´c, Bisimulations between generalized Veltman models and Veltman models, Mathematical Logic Quarterly 54 (2008), pp. 368–373.

Czasopismo ukazuje się w sposób ciągły on-line.
Pierwotną formą czasopisma jest wersja elektroniczna.