Some independence results in interpretability logic

Studia Logica 50 (1):29 - 38 (1991)
  Copy   BIBTEX

Abstract

A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370385

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
Bisimulations between generalized Veltman models and Veltman models.Mladen Vuković - 2008 - Mathematical Logic Quarterly 54 (4):368-373.
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.
Some Logics in the Vicinity of Interpretability Logics.Sergio A. Celani - 2024 - Bulletin of the Section of Logic 53 (2):173-193.
Bisimulations and bisimulation quotients of generalized Veltman models.Domagoj Vrgoč & Mladen Vuković - 2010 - Logic Journal of the IGPL 18 (6):870-880.
Filtrations of generalized Veltman models.Tin Perkov & Mladen Vuković - 2016 - Mathematical Logic Quarterly 62 (4-5):412-419.
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$.Yuya Okawa - 2024 - Studia Logica 112 (3):693-721.
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.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.

Analytics

Added to PP
2009-01-28

Downloads
53 (#412,169)

6 months
3 (#1,480,774)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.
Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.

View all 7 citations / Add more citations

References found in this work

Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.

Add more references