Bisimulations between generalized Veltman models and Veltman models

Mathematical Logic Quarterly 54 (4):368-373 (2008)
  Copy   BIBTEX

Abstract

Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image-finite generalized Veltman modelW there is a Veltman model W ′ that is bisimular to W

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710050

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Filtrations of generalized Veltman models.Tin Perkov & Mladen Vuković - 2016 - Mathematical Logic Quarterly 62 (4-5):412-419.
Bisimulations and bisimulation quotients of generalized Veltman models.Domagoj Vrgoč & Mladen Vuković - 2010 - Logic Journal of the IGPL 18 (6):870-880.
Bisimulations Between Verbrugge Models and Veltman Models.Tin Perkov - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 305-317.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Interpretability logic and generalized Veltman models.Mladen Vukovic - 2000 - Bulletin of Symbolic Logic 6:131.
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.
The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.
Bisimulations and bisimulation games between Verbrugge models.Sebastijan Horvat, Tin Perkov & Mladen Vuković - 2023 - Mathematical Logic Quarterly 69 (2):231-243.
Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
Interpretability logics and generalised Veltman semantics.Luka Mikec & Mladen Vuković - 2020 - Journal of Symbolic Logic 85 (2):749-772.

Analytics

Added to PP
2013-12-01

Downloads
20 (#791,515)

6 months
7 (#491,772)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Filtrations of generalized Veltman models.Tin Perkov & Mladen Vuković - 2016 - Mathematical Logic Quarterly 62 (4-5):412-419.

Add more citations

References found in this work

Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.

Add more references