An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP.

Albert Visser An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP. 131-165 1992 57 J. Symb. Log. 1 db/journals/jsyml/jsyml57.html#Visser92