Closed Fragments of Provability Logics of Constructive Theories
Albert Visser · Journal of Symbolic Logic · 2008
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.