Подписаться
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
1652005
Reflection principles and provability algebras in formal arithmetic
LD Beklemishev
Russian Mathematical Surveys 60 (2), 197-268, 2005
1292005
Provability algebras and proof-theoretic ordinals, I
LD Beklemishev
Annals of Pure and Applied Logic 128 (1-3), 103-123, 2004
1262004
Proof theoretic analysis by iterated reflection
LD Beklemishev
Turing’s Revolution: The Impact of His Ideas about Computability, 225-270, 2021
852021
Induction rules, reflection principles, and provably recursive functions
LD Beklemishev
Annals of Pure and Applied Logic 85 (3), 193-242, 1997
841997
The Worm principle
LD Beklemishev
Logic Colloquium'02: Proceedings of the Annual European Summer Meeting of …, 2006
65*2006
A proof-theoretic analysis of collection
LD Beklemishev
Archive for Mathematical Logic 37 (5), 275-296, 1998
511998
Parameter free induction and provably total computable functions
LD Beklemishev
Theoretical Computer Science 224 (1-2), 13-33, 1999
461999
Veblen hierarchy in the context of provability algebras
L Beklemishev
Logic, Methodology and Philosophy of Science, Proceedings of the Twelfth …, 2005
452005
Topological completeness of the provability logic GLP
L Beklemishev, D Gabelaia
Annals of Pure and Applied Logic 164 (12), 1201-1223, 2013
442013
Positive provability logic for uniform reflection principles
L Beklemishev
Annals of Pure and Applied Logic 165 (1), 82-105, 2014
422014
Kripke semantics for provability logic GLP
LD Beklemishev
Annals of Pure and Applied Logic 161 (6), 756-774, 2010
422010
Gödel incompleteness theorems and the limits of their applicability. I
LD Beklemishev
Russian Mathematical Surveys 65 (5), 857-899, 2010
392010
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
382005
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102, 541-566, 2014
372014
Iterated local reflection versus iterated consistency
L Beklemishev
Annals of Pure and Applied Logic 75 (1-2), 25-48, 1995
371995
On the classification of propositional provability logics
LD Beklemishev
Mathematics of the USSR-Izvestiya 35 (2), 247-275, 1990
371990
Calibrating Provability Logic: From Modal Logic to Reflection Calculus.
LD Beklemishev
Advances in Modal Logic 9, 89-94, 2012
352012
Topological interpretations of provability logic
L Beklemishev, D Gabelaia
Leo Esakia on duality in modal and intuitionistic logics, 257-290, 2014
312014
Propositional primal logic with disjunction
L Beklemishev, Y Gurevich
Journal of Logic and Computation 24 (1), 257-282, 2014
312014
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20