The interpretability logic of all reasonable arithmetical theories: The new conjecture

Joost J. Joosten; Albert Visser

doi:10.1023/a:1005657917054

The interpretability logic of all reasonable arithmetical theories: The new conjecture

Joost J. Joosten^*, Albert Visser

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

This paper is a presentation of a status quœstionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.

Original language	English
Pages (from-to)	3-26
Number of pages	24
Journal	Erkenntnis
Volume	53
Issue number	1-2
DOIs	https://doi.org/10.1023/a:1005657917054
Publication status	Published - 2000

Access to Document

10.1023/a:1005657917054

Cite this

@article{ff38af760ac04417a413a5f1cc650c97,

title = "The interpretability logic of all reasonable arithmetical theories: The new conjecture",

abstract = "This paper is a presentation of a status qu{\oe}stionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.",

author = "Joosten, {Joost J.} and Albert Visser",

year = "2000",

doi = "10.1023/a:1005657917054",

language = "English",

volume = "53",

pages = "3--26",

journal = "Erkenntnis",

issn = "0165-0106",

publisher = "Springer Netherlands",

number = "1-2",

}

TY - JOUR

T1 - The interpretability logic of all reasonable arithmetical theories

T2 - The new conjecture

AU - Joosten, Joost J.

AU - Visser, Albert

PY - 2000

Y1 - 2000

N2 - This paper is a presentation of a status quœstionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.

AB - This paper is a presentation of a status quœstionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.

UR - http://www.scopus.com/inward/record.url?scp=33748251140&partnerID=8YFLogxK

U2 - 10.1023/a:1005657917054

DO - 10.1023/a:1005657917054

M3 - Article

AN - SCOPUS:33748251140

SN - 0165-0106

VL - 53

SP - 3

EP - 26

JO - Erkenntnis

JF - Erkenntnis

IS - 1-2

ER -

The interpretability logic of all reasonable arithmetical theories: The new conjecture

Abstract

Access to Document

Fingerprint

Cite this