The interpretability logic of all reasonable arithmetical theories

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.

Logic, Reasoning, and Knowledge

View graph Source

Paper

Similar papers

A new principle in the interpretability logic of all reasonable arithmetical theoriesEvan Goris, Joost J. Joosten2020 · arXiv (Cornell University) In Library

Provability and interpretability logics with restricted realizationsThomas Icard, Joost J. Joosten2020 · arXiv (Cornell University) In Library

Interpretability in PRAMarta Bílková, Dick de Jongh, Joost J. Joosten2020 · arXiv (Cornell University) In Library

On Logics and Semantics for InterpretabilityLuka Mikec2022 · Bulletin of Symbolic Logic In Library

A correspondence theorem for interpretability logic with respect to Verbrugge semanticsSebastijan Horvat, Tin Perkov2024 · Logic Journal of IGPL In Library

Selection method for interpretability logic IL with respect to Verbrugge semanticsSebastijan Horvat, Tin Perkov2024 · Rad Hrvatske akademije znanosti i umjetnosti Matematičke znanosti In Library

Geometric theories in inquisitive modal logicValentin Müller2026 · Open Access CRIS of the University of Bern In Library

Geometric theories in inquisitive modal logicV Müller2026 · Journal of Logic and Computation In Library

Modal Matters in Interpretability LogicsEvan Goris, Joost J. Joosten2020 · arXiv (Cornell University) In Library

Modal logical aspects of provability predicates and consistency statementsHaruka Kogure, Taishi Kurahashi2026 · Journal of Logic and Computation In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal