arXiv Analytics

Sign in

arXiv:2004.12685 [math.LO]AbstractReferencesReviewsResources

The interpretability logic of all reasonable arithmetical theories

Joost J. Joosten, Albert Visser

Published 2020-04-27Version 1

This paper from 2000 is a presentation of a status qu{\ae}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.

Journal: The Interpretability logic of all reasonable arithmetical theories. Erkenntnis, 53(1-2):3-26; 2000
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2004.06902 [math.LO] (Published 2020-04-15)
A new principle in the interpretability logic of all reasonable arithmetical theories
arXiv:1605.05612 [math.LO] (Published 2016-05-18)
Labelled tableaux for interpretability logics
arXiv:1710.05599 [math.LO] (Published 2017-10-16)
Complexity of the interpretability logic IL

Links

Toolbox