The interpretability logic of all reasonable arithmetical theories
Publication date
1999-10
Authors
Joosten, J.J.
Visser, A.
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