Bisimulations and bisimulation games between Verbrugge models

Mathematical Logic Quarterly 69 (2):231-243 (2023)
  Copy   BIBTEX


Interpretability logic is a modal formalization of relative interpretability between first‐order arithmetical theories. Verbrugge semantics is a generalization of Veltman semantics, the basic semantics for interpretability logic. Bisimulation is the basic equivalence between models for modal logic. We study various notions of bisimulation between Verbrugge models and develop a new one, which we call w‐bisimulation. We show that the new notion, while keeping the basic property that bisimilarity implies modal equivalence, is weak enough to allow the converse to hold in the finitary case. To do this, we develop and use an appropriate notion of bisimulation games between Verbrugge models.



    Upload a copy of this work     Papers currently archived: 89,703

External links

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

Through your library

Similar books and articles

Extensive games as process models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.
Bisimulation for Conditional Modalities.A. Baltag & G. Cinà - 2018 - Studia Logica 106 (1):1-33.
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Bisimulation, modal logic and model checking games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.
Bisimulation quotients of Veltman models.Domagoj Vrgoc & Mladen Vukovic - 2011 - Reports on Mathematical Logic:59-73.
A bisimulation characterization for interpretability logic.T. Perkov & M. Vukovi - 2014 - Logic Journal of the IGPL 22 (6):872-879.
Action emulation.Jan van Eijck - 2012 - Synthese 185 (1):131-151.


Added to PP

5 (#1,331,694)

6 months
4 (#313,854)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.

View all 12 references / Add more references