No CrossRef data available.
Published online by Cambridge University Press: 12 March 2014
In this paper I give a characterization of the closed fragment of the provability logic of I Δ0 + EXP with a propositional constant for EXP. In three appendices many details on arithmetization are provided.