Abstract
We characterize the closed fragment of the provability logic of ΙΔo+EXP with a
propositional constant for EXP. In three appendices the details of various results
in Arithmetic needed for our characterization are provided
