The interpretability logic of all reasonable arithmetical theories
Joost J. Joosten, Albert Visser · arXiv (Cornell University) · 2020
This paper from 2000 is a presentation of a status quæstionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.