Some recent documents on the polymodal Gödel-Löb logic:

• A topological study of the closed fragment of GLP, forthcoming in Journal of Logic and Computation
• On topological models of GLP, preprint (with Lev Beklemishev and Guram Bezhanishvili)
• Models of the Polymodal Provability Logic, MSc thesis (ILLC)

Stanford homepage