1. Beklemishev, L., Positive provability logic for uniform reflection principles, ArXiv:1304.4396 [math.LO], 2013.
2. Beklemishev L.D.: Provability algebras and proof-theoretic ordinals, I. Annals of Pure and Applied Logic 128, 103–124 (2004)
3. Beklemishev, L. D., Veblen hierarchy in the context of provability algebras, in P. Hájek, L. Valdés-Villanueva, and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth International Congress, Kings College Publications, London, 2005, pp. 65–78.
4. Beklemishev, L. D., The Worm principle, in Z. Chatzidakis, P. Koepke, and W. Pohlers (eds.), Logic Colloquium 2002, Lecture Notes in Logic 27. ASL Publications, 2006, pp. 75–95.
5. Beklemishev L.D.: Kripke semantics for provability logic GLP. Annals of Pure and Applied Logic 161(6), 737–744 (2010)