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

Authors
Joosten, JJ Visser, A
Citation
Jj. Joosten et A. Visser, The interpretability logic of all reasonable arithmetical theories - The new conjecture, ERKENNTNIS, 53(1-2), 2000, pp. 3-26
Citations number
33
Categorie Soggetti
Philosiphy
Journal title
ERKENNTNIS
ISSN journal
01650106 → ACNP
Volume
53
Issue
1-2
Year of publication
2000
Pages
3 - 26
Database
ISI
SICI code
0165-0106(2000)53:1-2<3:TILOAR>2.0.ZU;2-3
Abstract
This paper is a presentation of a status quaestionis, to wit of the problem of the itnerpretability logic of all reasonable arithimetical theories. We present both the arithmetical side and the modal side of the question.