RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Беклемишев Лев Дмитриевич

Публикаций: 78 (61)
в MathSciNet: 51 (46)
в zbMATH: 42 (39)
в Web of Science: 40 (33)
в Scopus: 37 (31)
Цитированных статей: 42
Ссылок в Math-Net.Ru: 32
Ссылок в MathSciNet: 200
Ссылок в Web of Science: 224
Ссылок в Scopus: 270
Лекций и докладов: 38

Статистика просмотров:
Эта страница:7699
Страницы публикаций:4661
Полные тексты:1232
Списки литературы:344
Беклемишев Лев Дмитриевич
член-корреспондент РАН
доктор физико-математических наук (1998)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 17.09.1967
Телефон: +7 (495) 984 81 43
Факс: +7 (499) 135 05 55
E-mail: ,
Сайт: http://www.mi.ras.ru/~bekl
Ключевые слова: математическая логика, теория доказательств, фрагменты формальной арифметики, логика доказуемости, модальная логика, теоремы Гёделя, неполнота, доказательство, вычислимость.
Коды УДК: 510.2, 510.23, 510.58, 510.6, 510.643, 510.65, 510.652, 512
Коды MSC: 03F45, 03F03, 03F40, 03F15, 03F20, 03F30, 03B45, 03B70

Основные темы научной работы

Доказана теорема о классификации пропозициональных логик доказуемости. Получена характеризация ограниченных правил индукции в арифметике в терминах итерированных схем рефлексии. Найдены классы доказуемо тотальных вычислимых функций для фрагментов арифметики с беспараметрической индукцией. В частности, беспараметрическая индукция для Π2-формул соответствует классу примитивно рекурсивных функций. Предложен подход к ординальной теории доказательств на основе понятия алгебры доказуемости.

Научная биография:

Окончил механико-математический факультет МГУ в 1989 г. (кафедра математической логики и теории алгоритмов). В 1989–92 гг. — аспирант, с 1992 г. — сотрудник МИАН им. В. А. Стеклова. Кандидатская диссертация — 1992 г. Название: Классификация пропозициональных логик доказуемости. Докторская диссертация — 1998 г. Название: Схемы рефлексии в формальной арифметике. В 2000–05 гг. сотрудник Утрехтского университета (Нидерланды).
Премия Московского математического общества для молодых ученых присуждена в 1994 г. за работу «О классификации пропозициональных логик доказуемости». Стипендия А. Гумбольдта (Германия) присуждена в 1998 г. В 2006 г. избран членом-корреспондентом РАН.

   
Основные публикации:
  1. Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР, сер. матем., 53:5 (1989), 915–943  mathnet  mathscinet  zmath; English transl. Math. USSR-Izv., 35:2 (1990), 247–275  crossref  mathscinet  zmath
  2. L. D. Beklemishev, “Iterated local reflection versus iterated consistency”, Ann. Pure Appl. Logic, 75 (1995), 25–48  crossref  mathscinet  zmath
  3. L. D. Beklemishev, “A proof-theoretic analysis of collection”, Arch. Math. Logic, 37:5-6 (1998), 275–296  crossref  mathscinet  zmath
  4. L. D. Beklemishev, “Parameter-free induction and provably total computable functions”, Theoret. Comput. Sci., 224 (1999), 13–33  crossref  mathscinet  zmath
  5. Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, Успехи математических наук, 60:2 (2005), 3–78  mathnet  mathscinet  zmath; English transl. Russian Mathematical Surveys, 60:2 (2005), 197–268  crossref  mathscinet  zmath

http://www.mathnet.ru/rus/person17809
http://scholar.google.com/citations?user=QUJVc2UAAAAJ&hl=ru
http://zbmath.org/authors/?q=ai:beklemishev.lev-d
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=251033
http://elibrary.ru/author_items.asp?authorid=7524
ИСТИНА http://istina.msu.ru/workers/2556926
http://orcid.org/0000-0002-2949-0600
http://www.researcherid.com/rid/F-7814-2013
http://www.scopus.com/authid/detail.url?authorId=6602096489
https://www.researchgate.net/profile/Lev_Beklemishev

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |



   2017
1. Lev D. Beklemishev, Reflection calculus and conservativity spectra, 2017 , 28 pp., arXiv: 1703.09314 [math.LO]
2. Л. Д. Беклемишев, “О свойстве редукции для $GLP$-алгебр”, Докл. РАН, 472:4 (2017), 378–382  mathnet  crossref  elib; L. D. Beklemishev, “On the Reduction Property for GLP-Algebras”, Dokl. Math., 95:1 (2017), 50–54  crossref  isi  scopus (cited: 1)
3. Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388, 2017, 48–67  mathnet  crossref  scopus

   2016
4. Lev Beklemishev, Tommaso Flaminio, “Franco Montagna's work on provability logic and many-valued logic”, Studia Logica, 104:1 (2016), 1–46  mathnet  crossref  mathscinet  zmath  isi  elib  scopus
5. L. D. Beklemishev, Notes on a reduction property for GLP-algebras, 2016 , 8 pp., arXiv: 1606.00290
6. Lev Beklemishev, Daniyar Shamkanov, “Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics”, Liber Amicorum Alberti: A tribute to Albert Visser, Tributes, 30, eds. Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, College Publications, London, 2016, 15–29 url, arXiv: 1602.05728  mathscinet
7. Gerald Berger, Lev D. Beklemishev, Hans Tompits, A Many-Sorted Variant of Japaridze's Polymodal Provability Logic, 2016 , 15 pp., arXiv: 1601.02857
8. Lev Beklemishev, “Notes on a reduction property of GLP-algebras”, 11th International Conference on Advances in Modal Logic, Short Papers (Budapest, 30 August – 2 September, 2016), 2016, 7–13
9. Advances in Modal Logic, v. 11, eds. Lev Beklemishev, Stephane Demri, Andras Mate, College Publications, London, 2016 , xii+570 pp.

   2015
10. L. D. Beklemishev, A note on strictly positive logics and word rewriting systems, 2015 , 8 pp., arXiv: 1509.00666
11. L. D. Beklemishev, “Proof theoretic analysis by iterated reflection”, Turing's revolution, Part II, Birkhäuser/Springer, Cham, 2015, 225–270  crossref  mathscinet  scopus
12. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus (cited: 2)
13. L. D. Beklemishev, D. V. Musatov (eds.), Computer Science – Theory and Applications, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Computer Science, 9139, Springer, 2015 , xx+443 pp.  crossref

   2014
14. L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”, Studia Logica, 102:3 (2014), 541–566 , arXiv: 1210.4809  mathnet  crossref  mathscinet (cited: 5)  zmath  isi (cited: 5)  elib (cited: 1)  scopus
15. L. Beklemishev, “Positive provability logic for uniform reflection principles”, Ann. Pure Appl. Logic, 165:1 (2014), 82–105  mathnet  crossref  mathscinet (cited: 1)  zmath  isi  elib  scopus
16. L. Beklemishev, Y. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014), 257–282  mathnet  crossref  mathscinet (cited: 2)  zmath  isi (cited: 4)  elib (cited: 5)  scopus (cited: 7)
17. L. Beklemishev, D. Gabelaia, “Topological interpretations of provability logic”, Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, 4, eds. G. Bezhanishvili, Springer, 2014, 257–290 , arXiv: 1210.7317  crossref  mathscinet
18. Lev Beklemishev, Ruy De Queiroz, Andre Scedrov, “Editors' foreword”, Journal of Computer and System Sciences, 80:6, Special Issue: 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011) (2014), 1037  crossref  isi

   2013
19. L. Beklemishev, D. Gabelaia, “Topological completeness of the provability logic GLP”, Ann. Pure Appl. Logic, 164:12 (2013), 1201–1223 , arXiv: 1106.5693  mathnet  crossref  mathscinet (cited: 3)  zmath  isi (cited: 7)  elib (cited: 4)  scopus (cited: 5)
20. Л. Д. Беклемишев, “Позитивные логики доказуемости”, Международная конференция “Мальцевские чтения”. Тезисы докладов (Новосибирск, 11–15 ноября 2013 г.), ФГБУН Институт математики им. С.Л. Соболева СО РАН; Новосибирский государственный университет, Новосибирск, 2013, 10 www.math.nsc.ru/conference/malmeet/13/maltsev13.pdf

   2012
21. L. D. Beklemishev, “Calibrating provability logic: from modal logic to reflection calculus”, Advances in Modal Logic, 9, eds. T. Bolander, T. Braüner, S. Ghilardi, L. Moss, College Publications, London, 2012, 89–94  zmath  elib
22. L. Beklemishev, “DKAL: A Distributed Knowledge Authorization Language and Its Logic of Information”, Computer Science – Theory and Applications. 7th International Computer Science Symposium in Russia, CSR 2012 (Nizhny Novgorod, Russia, July 3–7, 2012), Lecture Notes in Computer Science, 7353, eds. E. Hirsch, J. Karhumäki, A. Lepistö, M. Prilutskii, Springer, 2012, XIII–XIV  crossref
23. L. Beklemishev, G. Bezhanishvili, D. Mundici, Y. Venema, “Foreword [Special issue dedicated to the memory of Leo Esakia]”, Studia Logica, 100:1-2 (2012), 1–7  crossref  mathscinet  isi  scopus

   2011
24. L. Beklemishev, Y. Gurevich, Propositional primal logic with disjunction, Microsoft Research Technical Report MSR-TR-2011-35, Redmond, 2011 , 31 pp. http://research.microsoft.com/apps/pubs/default.aspx?id=146631
25. Л. Д. Беклемишев, “Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLP”, Тр. МИАН, 274, 2011, 32–40  mathnet (цит.: 5)  mathscinet (цит.: 3)  elib (цит.: 2); L. D. Beklemishev, “A simplified proof of arithmetical completeness theorem for provability logic GLP”, Proc. Steklov Inst. Math., 274:1 (2011), 25–33  crossref  mathscinet  isi (cited: 6)  elib (cited: 3)  scopus (cited: 4)
26. L. Beklemishev, “Ordinal completeness of bimodal provability logic GLB”, Logic, language, and computation, 8th International Tbilisi Symposium TbiLLC 2009, Lecture Notes in Comput. Sci., 6618, eds. N. Bezhanishvili et al., Springer, Heidelberg, 2011, 1–15  crossref  mathscinet (cited: 3)  zmath  isi (cited: 3)  scopus (cited: 3)
27. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, V. M. Buchstaber, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, A. A. Razborov, A. L. Semenov, “Sergei Ivanovich Adian (on his eightieth birthday)”, Russian Math. Surveys, 66:1 (2011), 197–198  crossref  mathscinet  zmath  adsnasa  isi
28. L. Beklemishev, R. de Queiroz (eds.), Logic, language, information, and computation, 18th International Workshop, WoLLIC 2011 (Philadelphia, PA, USA, May 18–20, 2011), Proceedings, Lecture Notes in Comput. Sci., 6642, Springer, 2011 , x+311 pp.  crossref  zmath
29. Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, ред. Л. Д. Беклемишев, Е. Ф. Мищенко, МАИК, М., 2011 , 351 с.  mathnet
30. Л. Д. Беклемишев, “Предисловие”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 7–9  mathnet  mathscinet; L. D. Beklemishev, “Foreword”, Proc. Steklov Inst. Math., 274 (2011), 1–3  crossref  mathscinet  scopus (cited: 6)  scopus (cited: 6)
31. S. Adian, L. Beklemishev, A. Visser, “Proof and Computation”, J. Logic Computation, 21:4 (2011), 541–542  crossref  mathscinet  isi  scopus

   2010
32. Л. Д. Беклемишев, “Теоремы Гëделя о неполноте и границы их применимости. I”, УМН, 65:5(395) (2010), 61–106  mathnet (цит.: 1)  crossref  mathscinet  zmath  adsnasa  elib (цит.: 7); L. D. Beklemishev, “Gödel incompleteness theorems and the limits of their applicability. I”, Russian Math. Surveys, 65:5 (2010), 857–899  crossref  mathscinet  zmath  adsnasa  isi  elib (cited: 1)  scopus (cited: 1)
33. L. D. Beklemishev, “Kripke semantics for provability logic GLP”, Ann. Pure Appl. Logic, 161:6 (2010), 756–774  crossref  mathscinet (cited: 9)  zmath  isi (cited: 11)  elib (cited: 11)  scopus (cited: 13)
34. L. Beklemishev, V. Goranko, V. Shehtman (eds.), Advances in Modal Logic, 8, College Publications, London, 2010 , ix+505 pp.  mathscinet (cited: 1)
35. L. Beklemishev, G. Bezhanishvili, T. Icard, “On topological models of GLP”, Ways of proof theory, Ontos Mathematical Logic, 2, eds. R. Schindler, Ontos Verlag, Frankfurt, 2010, 133–153  mathscinet (cited: 4)
36. L. Beklemishev, “On the Craig interpolation and the fixed point properties of GLP”, Proofs, categories and computations, Tributes, 13, eds. S. Feferman et al., College Publications, London, 2010, 49–60  mathscinet (cited: 3)  zmath

   2007
37. L. Beklemishev, “Review of “Gödel's Theorem: an incomplete guide to its use and abuse” by Torkel Franzén”, Bulletin of Symbolic Logic, 13:2 (2007), 241–243

   2006
38. L. D. Beklemishev, “The Worm principle”, Logic Colloquium '02 (Münster, 2002), Lect. Notes Log., 27, Assoc. Symbol. Logic, La Jolla, CA, 2006, 75–95  mathscinet (cited: 9)  zmath  isi (cited: 7)
39. L. Beklemishev, A. Visser, “Problems in the logic of provability”, Mathematical problems from applied logic. I, Int. Math. Ser. (N. Y.), 4, Springer, New York, NY, 2006, 77–136  crossref  mathscinet (cited: 4)  zmath
40. L. Beklemishev, “Representing Worms as a term rewriting system”, Logic, combinatorics and independence results, Oberwolfach Report, 52/2006, eds. A. Bovykin, L. Carlucci, A. Weiermann, Mathematisches Forschungsinstitut Oberwolfach, 2006, 7–9
41. Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  crossref  mathscinet  zmath  adsnasa  isi
42. L. Beklemishev, “Review of “David Hilbert and the axiomatization of physics (1898–-1918)” by Leo Corry”, Studies In History and Philosophy of Science, Part B: Studies In History and Philosophy of Modern Physics, 37:2 (2006), 388–390  crossref  isi

   2005
43. L. D. Beklemishev, A. Visser, “On the limit existence principles in elementary arithmetic and $\Sigma^0_n$-consequences of theories”, Ann. Pure Appl. Logic, 136:1-2 (2005), 56–74  crossref  mathscinet (cited: 5)  zmath  isi (cited: 7)  elib (cited: 5)  scopus (cited: 6)
44. L. D. Beklemishev, J. J. Joosten, M. Vervoort, “A finitary treatment of the closed fragment of Japaridze's provability logic”, J. Logic Comput., 15:4 (2005), 447–463  crossref  mathscinet (cited: 10)  zmath  isi (cited: 12)  elib (cited: 3)  scopus (cited: 15)
45. Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60:2(362) (2005), 3–78  mathnet (цит.: 24)  crossref  mathscinet (цит.: 17)  zmath  adsnasa  elib; L. D. Beklemishev, “Reflection principles and provability algebras in formal arithmetic”, Russian Math. Surveys, 60:2 (2005), 197–268  crossref  mathscinet  zmath  adsnasa  isi (cited: 20)  elib (cited: 21)  scopus (cited: 22)
46. S. I. Adian, M. Baaz, L. D. Beklemishev, “Editorial”, J. Logic Computation, 15:4 (2005), 409  crossref  isi  scopus

   2004
47. L. D. Beklemishev, “Provability algebras and proof-theoretic ordinals. I”, Ann. Pure Appl. Logic, 128:1-3 (2004), 103–123  crossref  mathscinet (cited: 22)  zmath  isi (cited: 29)  elib (cited: 28)  scopus (cited: 34)

   2003
48. L. D. Beklemishev, “Proof-theoretic analysis by iterated reflection”, Arch. Math. Logic, 42:6 (2003), 515–552  crossref  mathscinet (cited: 13)  zmath  isi (cited: 18)  elib (cited: 16)  scopus (cited: 20)
49. L. D. Beklemishev, “On the induction schema for decidable predicates”, J. Symbolic Logic, 68:1 (2003), 17–34  crossref  mathscinet (cited: 8)  zmath  isi (cited: 8)  elib (cited: 6)  scopus (cited: 7)
50. Л. Д. Беклемишев, “Бескванторная индукция и принцип наименьшего числа”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, М., 2003, 59–76  mathnet  mathscinet (цит.: 2)  zmath; L. D. Beklemishev, “Quantifier-Free Induction Schema and the Least Element Principle”, Proc. Steklov Inst. Math., 242 (2003), 50–66  mathscinet  zmath

   2002
51. A. L. Rastsvetaev, L. D. Beklemishev, “On the query complexity of finding a local maximum point”, Inform. Process. Lett., 84:6 (2002), 327–332  crossref  mathscinet (cited: 2)  zmath  isi (cited: 1)  elib  scopus (cited: 2)

   2001
52. L. Beklemishev, “Review of “On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness” by U. Kohlenbach”, Bulletin of Symbolic Logic, 7:1 (2001), 75–77  crossref

   2000
53. L. Beklemishev, “Another pathological well-ordering”, Logic Colloquium '98 (Prague, 1998), Lect. Notes Log., 13, Assoc. Symbol. Logic, Urbana, IL, 2000, 105–108  mathscinet  zmath  isi

   1999
54. L. D. Beklemishev, “Open least element principle and bounded query computation”, Computer science logic (Madrid, 1999), Lecture Notes in Comput. Sci., 1683, Springer, Berlin, 1999, 389–404  crossref  mathscinet (cited: 3)  zmath  isi (cited: 3)  elib
55. L. D. Beklemishev, “Classification of propositional provability logics”, Provability, complexity, grammars, Amer. Math. Soc. Transl. Ser. 2, 192, Amer. Math. Soc., Providence, RI, 1999, 1–56  mathscinet  zmath
56. L. Beklemishev, M. Pentus, N. Vereshchagin, Provability, complexity, grammars, Amer. Math. Soc. Transl. Ser. 2, 192, Amer. Math. Soc., Providence, RI, 1999 , x+172 pp.  mathscinet (cited: 1)  zmath
57. L. D. Beklemishev, “Parameter free induction and provably total computable functions”, Theoret. Comput. Sci., 224:1-2 (1999), 13–33  crossref  mathscinet (cited: 11)  zmath  isi (cited: 12)  elib (cited: 13)  scopus (cited: 14)

   1998
58. L. D. Beklemishev, “A proof-theoretic analysis of collection”, Arch. Math. Logic, 37:5-6 (1998), 275–296  crossref  mathscinet (cited: 14)  zmath  isi (cited: 18)  elib (cited: 18)  scopus (cited: 20)
59. Л. Д. Беклемишев, Схемы рефлексии в формальной арифметике, Дисс. … докт. физ.-матем. наук, Математический институт им. В.А. Стеклова, Москва, 1998 , 149 с.
60. L. Beklemishev, “Review of “Aspects of Incompleteness” by P. Lindström”, The Journal of Symbolic Logic, 63:4 (1998), 1606–1608  crossref

   1997
61. L. Beklemishev, “Notes on local reflection principles”, Theoria, 63:3 (1997), 139–146  crossref  mathscinet (cited: 5)  scopus (cited: 8)
62. L. D. Beklemishev, “Parameter free induction and reflection”, Computational logic and proof theory (Vienna, 1997), Lecture Notes in Comput. Sci., 1289, Springer, Berlin, 1997, 103–113  crossref  mathscinet (cited: 1)  zmath
63. L. D. Beklemishev, “Induction rules, reflection principles, and provably recursive functions”, Ann. Pure Appl. Logic, 85:3 (1997), 193–242  crossref  mathscinet (cited: 20)  zmath  isi (cited: 27)  elib (cited: 28)  scopus (cited: 30)

   1996
64. L. Beklemishev, “Remarks on Magari algebras of $\mathrm{PA}$ and $\mathrm{I}\Delta_0+\mathrm{EXP}$”, Logic and algebra (Pontignano, 1994), Lecture Notes in Pure and Appl. Math., 180, Marcel Dekker, New York, 1996, 317–325  mathscinet (cited: 3)  zmath  isi (cited: 3)
65. L. D. Beklemishev, “Bimodal logics for extensions of arithmetical theories”, J. Symbolic Logic, 61:1 (1996), 91–124  crossref  mathscinet (cited: 2)  zmath  isi (cited: 3)  elib (cited: 7)  scopus (cited: 7)
66. L. Beklemishev, “Review of “Diagonalization and Self-reference” by R. Smullyan”, The Journal of Symbolic Logic, 61:3 (1996), 1052–1055  crossref

   1995
67. L. Beklemishev, “Iterated local reflection versus iterated consistency”, Ann. Pure Appl. Logic, 75:1-2 (1995), 25–48  crossref  mathscinet (cited: 5)  zmath  isi (cited: 8)  elib (cited: 5)  scopus (cited: 8)
68. Л. Д. Беклемишев, “Об ограниченном правиле индукции и итерированных схемах рефлексии над кальмаровской элементарной арифметикой”, Теоретические и прикладные аспекты математических исследований, ред. О. Б. Лупанов, МГУ, Москва, 1995, 36–39

   1994
69. L. D. Beklemishev, “On bimodal logics of provability”, Ann. Pure Appl. Logic, 68:2 (1994), 115–159  crossref  mathscinet (cited: 1)  zmath  isi (cited: 6)  elib (cited: 4)  scopus (cited: 8)

   1993
70. S. N. Artemov, L. D. Beklemishev, “On propositional quantifiers in provability logic”, Notre Dame J. Formal Logic, 34:3 (1993), 401–419  crossref  mathscinet (cited: 5)  zmath
71. L. D. Beklemishev, “On the complexity of arithmetical interpretations of modal formulae”, Arch. Math. Logic, 32:3 (1993), 229–238  crossref  mathscinet  zmath  isi (cited: 4)  elib (cited: 1)  scopus (cited: 5)
72. L. Beklemishev, “Review of papers by D. de Jongh, F. Montagna, and A. Carbone”, The Journal of Symbolic Logic, 58 (1993), 715–717  scopus (cited: 5)

   1992
73. Л. Д. Беклемишев, “Независимые нумерации теорий и рекурсивных прогрессий”, Сиб. матем. журн., 33:5 (1992), 22–46  mathscinet; L. D. Beklemishev, “Independent enumerations of theories and recursive progressions”, Siberian Math. J., 33:5 (1992), 760–783  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
74. Л. Д. Беклемишев, Классификация пропозициональных логик доказуемости, Дисс. … канд. физ.-матем. наук, Математический институт им. В.А. Стеклова РАН, Москва, 1992

   1991
75. L. D. Beklemishev, “Provability logics for natural Turing progressions of arithmetical theories”, Studia Logica, 50:1 (1991), 107–128  crossref  mathscinet  elib (cited: 2)  scopus (cited: 5)

   1989
76. Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР. Сер. матем., 53:5 (1989), 915–943  mathnet (цит.: 1)  mathscinet (цит.: 2)  zmath  isi; L. D. Beklemishev, “On the classification of propositional provability logics”, Math. USSR-Izv., 35:2 (1990), 247–275  crossref  mathscinet  zmath  isi
77. Л. Д. Беклемишев, “Логика доказуемости без интерполяционного свойства Крейга”, Матем. заметки, 45:6 (1989), 12–22  mathnet (цит.: 1)  mathscinet (цит.: 1)  zmath; L. D. Beklemishev, “Provability logic without Craig's interpolation property”, Math. Notes, 45:6 (1989), 437–450  crossref  mathscinet  zmath  isi  scopus

   1987
78. Л. Д. Беклемишев, “Нормализация выводов и интерполяция для некоторых логик доказуемости”, УМН, 42:6(258) (1987), 179–180  mathnet  mathscinet  zmath  adsnasa; L. D. Beklemishev, “Normalization of deductions and interpolation for some logics of provability”, Russian Math. Surveys, 42:6 (1987), 223–224  crossref  mathscinet  zmath  adsnasa  isi

Доклады и лекции в базе данных Math-Net.Ru
1. Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
24 октября 2017 г. 18:30
2. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
13 марта 2017 г. 18:30
3. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
28 ноября 2016 г. 18:30
4. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
21 ноября 2016 г. 18:30
5. О позитивной логике доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
1 ноября 2016 г. 18:30
6. Строго позитивные фрагменты модальных и дескрипционных логик
Л. Д. Беклемишев
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
20 сентября 2016 г. 18:10
7. Доказуемость и модальная логика. Занятие 4
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
27 июля 2016 г. 11:15   
8. Доказуемость и модальная логика. Занятие 3
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
26 июля 2016 г. 15:30   
9. Доказуемость и модальная логика. Занятие 2
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
24 июля 2016 г. 11:15   
10. Доказуемость и модальная логика. Занятие 1
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
22 июля 2016 г. 11:15   
11. Positive provability logic and reflection calculus
Л. Д. Беклемишев
Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
19 июля 2016 г. 11:00   
12. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
14 марта 2016 г. 18:30
13. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
29 февраля 2016 г. 18:30
14. Логика интерпретируемости. Часть 2
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
23 ноября 2015 г. 18:30
15. Логика интерпретируемости. Часть 1
Л. Д. Беклемишев
Семинар отдела математической логики «Теория доказательств»
16 ноября 2015 г. 18:30
16. Интерпретации моделей и логических теорий
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
21 октября 2015 г.
17. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение)
Л. Д. Беклемишев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
19 мая 2015 г. 18:30
18. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)
Л. Д. Беклемишев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
12 мая 2015 г. 18:30
19. Позитивная логика для схем рефлексии в арифметике
Л. Д. Беклемишев
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
22 января 2015 г. 16:00   
20. Позитивная логика для схем рефлексии в арифметике
Л. Д. Беклемишев
Научная сессия МИАН, посвященная подведению итогов 2014 года
12 ноября 2014 г. 12:00   
21. Доказуемость и разреженная топология
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
22 октября 2014 г.
22. Элементарная геометрия с точки зрения логики. Лекция 3
Л. Д. Беклемишев
Летняя школа «Современная математика», 2014
23 июля 2014 г. 17:00   
23. Элементарная геометрия с точки зрения логики. Лекция 2
Л. Д. Беклемишев
Летняя школа «Современная математика», 2014
21 июля 2014 г. 11:15   
24. Элементарная геометрия с точки зрения логики. Лекция 1
Л. Д. Беклемишев
Летняя школа «Современная математика», 2014
20 июля 2014 г. 17:00   
25. О позитивных логиках доказуемости
Л. Д. Беклемишев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
10 декабря 2013 г. 18:30
26. Доказуемо рекурсивные функции
Л. Д. Беклемишев
Общеинститутский семинар «Коллоквиум МИАН»
5 декабря 2013 г. 16:00   
27. Что такое логика доказуемости?
Л. Д. Беклемишев
Летняя школа «Современная математика», 2013
21 июля 2013 г. 12:45   
28. Прогрессии Тьюринга
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
17 апреля 2013 г. 18:30   
29. Об арифметически полном исчислении для равномерных схем рефлексии
Л. Д. Беклемишев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
19 марта 2013 г. 18:30
30. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 4
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
26 июля 2012 г. 15:30   
31. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 3
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
25 июля 2012 г. 15:30   
32. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 2
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
24 июля 2012 г. 11:15   
33. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 1
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
22 июля 2012 г. 17:00   
34. Быстрорастущие функции («быстрее, выше, сильнее»). Вводная лекция
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
21 июля 2012 г. 11:15   
35. Алгебры доказуемости
Л. Д. Беклемишев
Заседания Московского математического общества
28 февраля 2012 г. 18:30
36. Алгебры доказуемости
Л. Д. Беклемишев
Семинар «Глобус» (записи с 2011 года)
16 февраля 2012 г. 15:40   
37. Алгебра доказуемости и разреженная топология
Л. Д. Беклемишев
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
17 декабря 2009 г. 12:50   
38. Алгебры доказуемости и фрагменты арифметики
Л. Д. Беклемишев
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
19 октября 2006 г. 16:00   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017