Closed fragments of provability logics of constructive theories

摘要

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.