Abstract
In this paper we carry out a comparative study of $\mathrm{I}\Sigma_1$ and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.
Citation
Joost J. Joosten. "The Closed Fragment of the Interpretability Logic of PRA with a Constant for $\mathrm{I}\Sigma_1$." Notre Dame J. Formal Logic 46 (2) 127 - 146, 2005. https://doi.org/10.1305/ndjfl/1117755145
Information