Joosten, Joost J. Propositional proof systems and fast consistency provers. (English) Zbl 1133.03036 Notre Dame J. Formal Logic 48, No. 3, 381-398 (2007). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 68Q15 PDFBibTeX XMLCite \textit{J. J. Joosten}, Notre Dame J. Formal Logic 48, No. 3, 381--398 (2007; Zbl 1133.03036) Full Text: DOI arXiv
Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco A finitary treatment of the closed fragment of Japaridze’s provability logic. (English) Zbl 1080.03038 J. Log. Comput. 15, No. 4, 447-463 (2005). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F30 03F15 PDFBibTeX XMLCite \textit{L. D. Beklemishev} et al., J. Log. Comput. 15, No. 4, 447--463 (2005; Zbl 1080.03038) Full Text: DOI Link