| Provability logic SN Artemov, LD Beklemishev Handbook of Philosophical Logic, 2nd Edition, 189-360, 2005 | 177 | 2005 |
| Reflection principles and provability algebras in formal arithmetic LD Beklemishev Russian Mathematical Surveys 60 (2), 197-268, 2005 | 140 | 2005 |
| Provability algebras and proof-theoretic ordinals, I LD Beklemishev Annals of Pure and Applied Logic 128 (1-3), 103-123, 2004 | 131 | 2004 |
| Proof theoretic analysis by iterated reflection LD Beklemishev Turing’s Revolution: The Impact of His Ideas about Computability, 225-270, 2021 | 89 | 2021 |
| Induction rules, reflection principles, and provably recursive functions LD Beklemishev Annals of Pure and Applied Logic 85 (3), 193-242, 1997 | 88 | 1997 |
| The Worm principle LD Beklemishev Logic Colloquium'02: Proceedings of the Annual European Summer Meeting of …, 2006 | 66* | 2006 |
| A proof-theoretic analysis of collection LD Beklemishev Archive for Mathematical Logic 37 (5), 275-296, 1998 | 51 | 1998 |
| Parameter free induction and provably total computable functions LD Beklemishev Theoretical Computer Science 224 (1-2), 13-33, 1999 | 47 | 1999 |
| Kripke semantics for provability logic GLP LD Beklemishev Annals of Pure and Applied Logic 161 (6), 756-774, 2010 | 46 | 2010 |
| Veblen hierarchy in the context of provability algebras L Beklemishev Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth …, 2005 | 46 | 2005 |
| Positive provability logic for uniform reflection principles L Beklemishev Annals of Pure and Applied Logic 165 (1), 82-105, 2014 | 45 | 2014 |
| Topological completeness of the provability logic GLP L Beklemishev, D Gabelaia Annals of Pure and Applied Logic 164 (12), 1201-1223, 2013 | 45 | 2013 |
| Gödel incompleteness theorems and the limits of their applicability. I LD Beklemishev Russian Mathematical Surveys 65 (5), 857-899, 2010 | 44 | 2010 |
| A finitary treatment of the closed fragment of Japaridze's provability logic LD Beklemishev, JJ Joosten, M Vervoort Journal of Logic and Computation 15 (4), 447-463, 2005 | 40 | 2005 |
| On provability logics with linearly ordered modalities LD Beklemishev, D Fernández-Duque, JJ Joosten Studia Logica 102, 541-566, 2014 | 38 | 2014 |
| Calibrating Provability Logic: From Modal Logic to Reflection Calculus. LD Beklemishev Advances in Modal Logic 9, 89-94, 2012 | 38 | 2012 |
| Iterated local reflection versus iterated consistency L Beklemishev Annals of Pure and Applied Logic 75 (1-2), 25-48, 1995 | 38 | 1995 |
| On the classification of propositional provability logics LD Beklemishev Mathematics of the USSR-Izvestiya 35 (2), 247-275, 1990 | 37 | 1990 |
| Topological interpretations of provability logic L Beklemishev, D Gabelaia Leo Esakia on duality in modal and intuitionistic logics, 257-290, 2014 | 34 | 2014 |
| Problems in the Logic of Provability L Beklemishev, A Visser Mathematical Problems from Applied Logic I, D. Gabbay et al. eds., 77-136, 2006 | 32 | 2006 |
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu
