Abstract
In this paper we give a new proof of the characterization of the closed
fragment of the provability logic of Heyting’s Arithmetic. We also provide
a characterization of the closed fragment of the provability logic of
Heyting’s Arithmetic plus Markov’s Principle and Heyting’s Arithmetic
plus Primitive Recursive Markov’s Principle.
