Bisimulation Quotients of Veltman Models
Choose format
RIS BIB ENDNOTEBisimulation Quotients of Veltman Models
Publication date: 15.12.2011
Reports on Mathematical Logic, 2011, Number 46, pp. 59-73
https://doi.org/10.4467/20842589RM.11.004.0282Authors
Bisimulation Quotients of Veltman Models
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.
[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.
Information: Reports on Mathematical Logic, 2011, Number 46, pp. 59-73
Article type: Original article
Published at: 15.12.2011
Article status: Open
Licence: None
Percentage share of authors:
Article corrections:
-Publication languages:
English