Interpretability in PRA

, &
Annals of Pure and Applied Logic 161 (2):128-138 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2009

DOI

10.1016/j.apal.2009.05.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.
The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.
The Closed Fragment of the Interpretability Logic of PRA with a Constant for.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
Some independence results in interpretability logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.
Explicit fixed points in interpretability logic.Dick Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39 - 49.
Explicit Fixed Points in Interpretability Logic.Dick de Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39-49.
Provability and Interpretability Logics with Restricted Realizations.Thomas F. Icard & Joost J. Joosten - 2012 - Notre Dame Journal of Formal Logic 53 (2):133-154.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.

Analytics

Added to PP
2017-11-03

Downloads
18 (#785,610)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Joost Joosten
Universitat de Barcelona
Dick De De Jongh
University of Amsterdam

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.

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.
Proof-theoretic analysis by iterated reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.

Add more references