The Interpretability Logic of all Reasonable Arithmetical Theories. The New Conjecture
Files
Publication date
1999-12
Authors
Joosten, Joost J.
Visser, Albert
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.
Keywords
arithmetic, interpretations, modal logic