Lev Beklemishev
Lev Beklemishev
Steklov Mathematical Institute and NRU Higher School of Economics
Подтвержден адрес электронной почты в домене mi.ras.ru - Главная страница
Название
Процитировано
Процитировано
Год
Provability logic
SN Artemov, LD Beklemishev
Handbook of Philosophical Logic, 2nd Edition, 189-360, 2005
1312005
Provability algebras and proof-theoretic ordinals, I
LD Beklemishev
Annals of Pure and Applied Logic 128 (1-3), 103-123, 2004
1082004
Reflection principles and provability algebras in formal arithmetic
LD Beklemishev
Russian Mathematical Surveys 60 (2), 197, 2005
952005
Proof-theoretic analysis by iterated reflection
LD Beklemishev
Archive for Mathematical Logic 42 (6), 515-552, 2003
74*2003
Induction rules, reflection principles, and provably recursive functions
LD Beklemishev
Annals of Pure and Applied Logic 85 (3), 193-242, 1997
681997
The Worm principle
LD Beklemishev
Logic Colloquium'02: Proceedings of the Annual European Summer Meeting of …, 2006
62*2006
A proof-theoretic analysis of collection
LD Beklemishev
Archive for Mathematical Logic 37 (5-6), 275-296, 1998
421998
Parameter free induction and provably total computable functions
LD Beklemishev
Theoretical Computer Science 224 (1-2), 13-33, 1999
401999
Veblen hierarchy in the context of provability algebras
L Beklemishev
Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth …, 2005
392005
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
372005
Iterated local reflection versus iterated consistency
L Beklemishev
Annals of Pure and Applied Logic 75 (1-2), 25-48, 1995
361995
Kripke semantics for provability logic GLP
LD Beklemishev
Annals of Pure and Applied Logic 161 (6), 756-774, 2010
342010
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102 (3), 541-566, 2014
332014
Positive provability logic for uniform reflection principles
L Beklemishev
Annals of Pure and Applied Logic 165 (1), 82-105, 2014
332014
Topological completeness of the provability logic GLP
L Beklemishev, D Gabelaia
Annals of Pure and Applied Logic 164 (12), 1201-1223, 2013
332013
Calibrating Provability Logic: From Modal Logic to Reflection Calculus.
LD Beklemishev
Advances in Modal Logic 9, 89-94, 2012
272012
Propositional primal logic with disjunction
L Beklemishev, Y Gurevich
Journal of Logic and Computation 24 (1), 257-282, 2014
262014
On bimodal logics of provability
LD Beklemishev
Annals of Pure and Applied Logic 68 (2), 115-159, 1994
251994
Bimodal logics for extensions of arithmetical theories
LD Beklemishev
Journal of Symbolic Logic 61, 91-124, 1996
241996
Gödel incompleteness theorems and the limits of their applicability. I
LD Beklemishev
Russian Mathematical Surveys 65 (5), 857-899, 2010
232010
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20