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: 91,322

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

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.
The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.
Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
An update on “might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
An Update on "Might'".Jaap van Der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
From onions to broccoli: generalizing Lewis' counterfactual logic.Patrick Girard - 2007 - Journal of Applied Non-Classical Logics 17 (2):213-229.
Provability logics for relative interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
Making Counterfactual Assumptions.Frank Veltman - 2005 - Journal of Semantics 22 (2):159-180.
Contrast and Implication in Natural Language.Yoad Winter - 1994 - Journal of Semantics 11 (4):365-406.
This Might Be It.Frank Veltman, Jeroen Groenendijk & Martin Stokhof - 1996 - In Dag Westerstahl & Jeremy Seligman (eds.), Language, Logic, and Computation: the 1994 Moraga Proceedings. CSLI. pp. 255--70.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
Intensional logics.Dick De Jongh & Frank Veltman - unknown

Analytics

Added to PP
2013-12-01

Downloads
19 (#775,535)

6 months
7 (#425,192)

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