The Principles of Interpretability

Notre Dame Journal of Formal Logic 40 (2):227-235 (1999)
  Copy   BIBTEX

Abstract

A generalized Veltman semantics developed by de Jongh is used to investigate correspondences between several extensions of intepretability logic . In this paper we present some new results on independences

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1038949538

Other Versions

No versions found

Links

PhilArchive



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

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

Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Bisimulations between generalized Veltman models and Veltman models.Mladen Vuković - 2008 - Mathematical Logic Quarterly 54 (4):368-373.
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.
A New Principle In The Interpretability Logic Of All Reasonable Arithmetical Theories.Evan Goris & Joost Joosten - 2011 - Logic Journal of the IGPL 19 (1):1-17.
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 cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
Correspondence results for relational proof systems with application to the Lambek calculus.Wendy MacCaull & Ewa Orłlowska - 2002 - Studia Logica 71 (3):389-414.
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.

Analytics

Added to PP
2010-08-24

Downloads
30 (#752,215)

6 months
12 (#299,634)

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.
A note on semantics of the interpretability logic IL (KW1).Mladen Vukovic - 2003 - Bulletin of the Section of Logic 32 (3):109-115.

Add more citations

References found in this work

Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.

View all 6 references / Add more references