Erkenntnis 53 (1-2):3-26 (2000)

Authors
Abstract
This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.
Keywords arithmetic  interpretations  modal logic
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005657917054
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,343
Through your library

References found in this work BETA

The Incompleteness Theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
Logics for Conditionals.Frank Veltman - 1987 - Studia Logica 46 (2):206-207.
Cuts, Consistency Statements and Interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
The Interpretability Logic of Peano Arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
The Formalization of Interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.

View all 15 references / Add more references

Citations of this work BETA

Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
Pairs, Sets and Sequences in First-Order Theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Transductions in Arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.

View all 8 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
48 ( #220,720 of 2,445,323 )

Recent downloads (6 months)
2 ( #311,040 of 2,445,323 )

How can I increase my downloads?

Downloads

My notes