The Interpretability Logic of all Reasonable Arithmetical Theories. The New Conjecture
Joost J. Joosten, Albert Visser · Utrecht University Repository (Utrecht University) · 1999
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.