1. de Almeida Borges, A., Joosten, J.: The worm calculus. In: Bezhanishvili, G., D’Agostino, G., Metcalfe, G., Studer, T. (eds.) Advances in Modal Logic, vol. 12. College Publications (2018)
2. Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Log. 128, 103–124 (2004)
3. Beklemishev, L.D.: Veblen hierarchy in the context of provability algebras. In: Hájek, P., Valdés-Villanueva, L., Westerståhl, D. (eds.) Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth International Congress, pp. 65–78. Kings College Publications (2005)
4. Beklemishev, L.D.: Calibrating provability logic. In: Bolander, T., Braüner, T., Ghilardi, T.S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 89–94. College Publications, London (2012)
5. Beklemishev, L.D.: Positive provability logic for uniform reflection principles. Ann. Pure Appl. Log. 165(1), 82–105 (2014)