L.D. Beklemishev, J.J. Joosten and M. Vervoort, " A finitary treatment of the closed fragment of Japaridze's provability logic".
G. Boolos, " The analytical completeness of Japaridze's polymodal logics".