Provability logics for relative interpretability

&
In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42 (1990)
  Copy   BIBTEX

Abstract

In this paper the system IL for relative interpretability is studied.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
Provability in finite subtheories of pa and relative interpretability: A modal investigation.Franco Montagna - 1987 - Journal of Symbolic Logic 52 (2):494-511.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
A note on the normal form of closed formulas of interpretability logic.Petr Hájek & Vítězslav Švejdar - 1991 - Studia Logica 50 (1):25 - 28.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Absolute and relative concepts in logic.Jaroslav Peregrin - manuscript

Analytics

Added to PP
2009-01-28

Downloads
343 (#60,223)

6 months
69 (#71,936)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frank Veltman
University of Amsterdam

Citations of this work

Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.

View all 15 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