Publisher
Springer International Publishing
Reference24 articles.
1. Beklemishev, L.D., Onoprienko, A.A.: On some slowly terminating term rewriting systems. Sbornik Math. 206, 1173–1190 (2015)
2. Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals. Ann. Pure Appl. Logic 128, 103–123 (2004)
3. Beklemishev, L.D.: Reflection principles and provability algebras in formal arithmetic. Russ. Math. Surv. 60(2), 197–268 (2005). Russian original: Uspekhi Matematicheskikh Nauk, 60(2): 3–78 (2005)
4. Beklemishev, L.D.: The Worm principle. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002. Lecture Notes in Logic, vol. 27, pp. 75–95. AK Peters (2006). Preprint: Logic Group Preprint Series 219, Utrecht University, March 2003
5. Beklemishev, L.D.: Calibrating provability logic: from modal logic to reflection calculus. In: Bolander, T., Braüner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 89–94. College Publications, London (2012)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献