The interpretability logic of all reasonable arithmetical theories
arXiv:2004.12685
Abstract
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.