ИСТИНА

Беклемишев Лев Дмитриевич пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, профессор, с 1 сентября 2006, по совместительству

доктор физико-математических наук с 1992 года

академик РАН с 15 ноября 2019 г.

Математический институт им. В.А. Стеклова РАН, чл.- корр. РАН

Соавторы: Семенов А.Л., Новиков С.П., Бухштабер В.М., Пентус М.Р., Атабекян В.С., Трещев Д.В., Razborov A.A., Гончаров С.С., Колмаков Е.А., Лысёнок И.Г., Садовничий В.А., Joosten J.J., Lysënok I.G. показать полностью..., Visser J., Артемов С.Н., Веснин А.Ю., Гайфуллин А.А., Долбилин Н.П., Ероховец Н.Ю., Ковалёв М.Д., Макаров В.С., Оноприенко А.А., Орлов Д.О., Осипов Ю.С., Паршин А.Н., Сабитов И.Х., Таламбуца А.Л., Успенский В.А., Шейнман О.К., Bezhanishvili G., Fernández-Duque D., Flaminio T., Gabelaia D., Gerald B., Hans T., Icard T., Shchepin E.V., Vervoort M., Адян С.И., Александров В.А., Андреев Н.Н., Гуревич Ю.Ш., Козлов В.В., Козлов Лысёнок В.В., Матиясевич Ю.В., Плунгян В.А., Подольский В.В., Расцветаев А.Л., Рахилина Е.В., Рубан В., Татевосов С.Г., Тихомиров В.М., Шамканов Д.С., Шень А., Щепин Е.В.

59 статей, 9 докладов на конференциях, 4 тезисов докладов, 4 НИР, 1 членство в научном обществе, 2 членства в редколлегиях журналов, 3 членства в редколлегиях сборников, 6 членств в программных комитетах, 3 членства в диссертационных советах, 7 диссертаций, 10 дипломных работ, 1 курсовая работа, 11 учебных курсов, 3 выступление в СМИ

Количество цитирований статей в журналах по данным Web of Science: 243, Scopus: 348
РИНЦ:

IstinaResearcherID (IRID): 2556926

ResearcherID: F-7814-2013

Scopus Author ID: 6602096489

ORCID: 0000-0002-2949-0600

Деятельность

---

• Статьи в журналах

  • 
    • 2021 Questions in Algebra and Mathematical Logic. Scientific Heritage of S. I. Adian
    • Atanbekyan V.S., Beklemishev L.D., Guba V.S., Lysenok I.G., Razborov A.A., Semenov A.L.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 76, № 1 DOI
  • • 2021 Sergei Ivanovich Adian
    • Atabekyan V.S., Beklemishev L.D., Buchstaber V.M., Goncharov S.S., Guba V.S., Ershov Yu L., Kozlov V.V., Lysenok I.G., Novikov S.P., Osipov Yu S., Pentus M.R., Podolskii V.V., Razborov A.A., Sadovnichii V.A., Semenov A.L., Talambutsa A.L., Treschev D.V., Shevrin L.N.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 76, № 1, с. 177-181 DOI
  • • 2021 Вопросы алгебры и математической логики. Научное наследие С. И. Адяна
    • Атабекян В.С., Беклемишев Л.Д., Губа В.С., Лысёнок И.Г., Разборов А.А., Семенов А.Л.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 76, № 1(457), с. 3-30 DOI
  • • 2021 Сергей Иванович Адян (некролог)
    • Атабекян В.С., Беклемишев Л.Д., Бухштабер В.М., Гончаров С.С., Губа В.С., Ершов Ю.Л., Козлов Лысёнок В.В.И.Г, Новиков С.П., Осипов Ю.С., Пентус М.Р., Подольский В.В., Разборов А.А., Садовничий В.А., Семенов А.Л., Таламбуца А.Л., Трещев Д.В., Шеврин Л.Н.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 76, № 1(457), с. 191-194 DOI
  • 
    • 2019 Axiomatization of provable n-provability
    • Kolmakov E.A., Beklemishev L.D.
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 84, № 2, с. 849-869 DOI
  • 
    • 2019 Mikhail Ivanovich Shtogrin (on his 80th birthday)
    • Александров В.А., Беклемишев Л.Д., Бухштабер В.М., Веснин А.Ю., Гайфуллин А.А., Долбилин Н.П., Ероховец Н.Ю., Ковалев М.Д., Макаров В.С., Новиков С.П., Орлов Д.О., Паршин А.Н., Сабитов И.Х., Трещев Д.В., Шейнман О.К., Щепин Е.В.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 74, № 6, с. 1159-1162 DOI
  • • 2019 Владимир Андреевич Успенский (27.11.1930–27.06.2018)
    • Адян С.И., Андреев Н.Н., Беклемишев Л.Д., Гончаров С.С., Ершов Ю.Л., Матиясевич Ю.В., Осипов Ю.С., Пентус М.Р., Плунгян В.А., Рахилина Е.В., Садовничий В.А., Семёнов А.Л., Татевосов С.Г., Тихомиров В.М., Шень А.Х.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 74, № 4(448), с. 165-180
  • • 2019 Михаил Иванович Штогрин (к восьмидесятилетию со дня рождения)
    • Александров В.А., Беклемишев Л.Д., Бухштабер В.М., Веснин А.Ю., Гайфуллин А.А., Долбилин Н.П., Ероховец Н.Ю., Ковалев М.Д., Макаров В.С., Новиков С.П., Орлов Д.О., Паршин А.Н., Сабитов И.Х., Трещев Д.В., Шейнман О.К., Щепин Е.В.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 74, № 6, с. 194-197
  • 
    • 2018 A many-sorted variant of Japaridze's polymodal provability logic
    • Gerald Berger, Beklemishev L.D., Hans Tompits
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 26, № 5, с. 505-538 DOI
  • 
    • 2018 Axiomatizing provable n-provability
    • Kolmakov E.A., Beklemishev L.D.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 98, № 3, с. 582-585 DOI
  • 
    • 2018 Reflection calculus and conservativity spectra
    • Beklemishev L.D.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 73, № 4, с. 569-613 DOI
  • • 2018 Аксиоматизация доказуемой n-доказуемости
    • Колмаков Е.А., Беклемишев Л.Д.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 483, № 3, с. 244-248 DOI
  • • 2018 Исчисление для схем рефлексии и спектры консервативности
    • Беклемишев Л.Д.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 73, № 4, с. 3-52 DOI
  • 
    • 2017 On the reduction property for GLP-algebras
    • Beklemishev L.D.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 95, № 1, с. 50-54 DOI
  • 
    • 2017 О свойстве редукции для GLP-алгебр
    • Беклемишев Л.Д.
    • в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 472, № 4, с. 378-382 DOI
  • 
    • 2016 Franco Montagna’s work on provability logic and many-valued logic
    • Beklemishev Lev, Flaminio Tommaso
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 104, № 1, с. 1-46 DOI
  • 
    • 2015 On some slowly terminating term rewriting systems
    • Beklemishev L.D., Onoprienko A.A.
    • в журнале Sbornik Mathematics, издательство London Mathematical Society (United Kingdom), том 206, № 9, с. 1173-1190 DOI
  • • 2015 О некоторых медленно сходящихся системах преобразований термов
    • Беклемишев Л.Д., Оноприенко А.А.
    • в журнале Математический сборник, издательство МИАН (Москва), том 206, № 9, с. 3-20 DOI
  • 
    • 2014 On provability logics with linearly ordered modalities
    • Beklemishev L.D., Fernández-Duque D., Joosten J.J.
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 102, № 3, с. 541-566 DOI
  • 
    • 2014 Positive provability logic for uniform reflection principles
    • Beklemishev L.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 165, № 1, с. 82-105 DOI
  • 
    • 2014 Propositional primal logic with disjunction
    • Beklemishev Lev, Gurevich Yuri
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 24, № 1, с. 257-282 DOI
  • 
    • 2013 Topological completeness of the provability logic GLP
    • Beklemishev L., Gabelaia D.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 164, № 12, с. 1201-1223 DOI
  • 
    • 2011 A simplified proof of arithmetical completeness theorem for provability logic GLP
    • Beklemishev L.D.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 274, № 1, с. 25-33 DOI
  • 
    • 2011 Sergei Ivanovich Adian (on his eightieth birthday)
    • Beklemishev L.D., Buchstaber V.M., Lysenok I.G., Mal'tsev A.A., Novikov S.P., Razborov A.A., Semenov A.L.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 66, № 1, с. 197-198
  • • 2011 Сергей Иванович Адян (к восьмидесятилетию со дня рождения)
    • Беклемишев Л.Д., Бухштабер В.М., Лысенок И.Г., Мальцев А.А., Новиков С.П., Разборов А.А., Семенов А.Л.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 66, № 1, с. 199-200
  • • 2011 Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLP
    • Беклемишев Л.Д.
    • в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 274, с. 32-40
  • 
    • 2010 Gödel incompleteness theorems and the limits of their applicability. I
    • Beklemishev L.D.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 65, № 5, с. 857-899 DOI
  • 
    • 2010 Kripke semantics for provability logic GLP
    • Beklemishev L.D.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 161, № 6, с. 756-774 DOI
  • • 2010 Теоремы Гëделя о неполноте и границы их применимости. I
    • Беклемишев Л.Д.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 65, № 5(395), с. 61-106 DOI
  • 
    • 2006 Sergei Ivanovich Adian (on his 75th birthday)
    • Beklemishev L.D., Lysenok I.G., Mal'tsev A.A., Novikov S.P., Pentus M.R., Razborov A.A., Semenov A.L., Uspenskii V.A.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 61, № 3, с. 575-588
  • • 2006 Сергей Иванович Адян (к 75-летию со дня рождения)
    • Беклемишев Л.Д., Лысенок И.Г., Мальцев А.А., Новиков С.П., Пентус М.Р., Разборов А.А., Семенов А.Л., Успенский В.А.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 61, № 3, с. 179-191
  • 
    • 2005 A finitary treatment of the closed fragment of Japaridze’s provability logic
    • Beklemishev L.D., Joosten J.J., Vervoort M.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 15, № 4, с. 447-463 DOI
  • 
    • 2005 On the limit existence principles in elementary arithmetic and Σ^0_n-consequences of theories
    • Beklemishev L.D., Visser A.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 136, № 1-2, с. 56-74 DOI
  • 
    • 2005 Reflection principles and provability algebras in formal arithmetic
    • Beklemishev L.D.
    • в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 60, № 2, с. 197-268 DOI
  • • 2005 Схемы рефлексии и алгебры доказуемости в формальной арифметике
    • Беклемишев Л.Д.
    • в журнале Успехи математических наук, издательство ФГБУ "Издательство "Наука" (Москва), том 60, № 2(362), с. 3-78 DOI
  • 
    • 2004 Provability algebras and proof-theoretic ordinals. I
    • Beklemishev L.D.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 128, № 1-3, с. 103-123 DOI
  • 
    • 2003 On the induction schema for decidable predicates
    • Beklemishev L.D.
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 68, № 1, с. 17-34 DOI
  • 
    • 2003 Proof-theoretic analysis by iterated reflection
    • Beklemishev L.D.
    • в журнале Archive for Mathematical Logic, издательство Springer Verlag (Germany), том 42, № 6, с. 515-552 DOI
  • • 2003 Quantifier-Free Induction Schema and the Least Element Principle
    • Beklemishev L.D.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 242, с. 50-66
  • • 2003 Бескванторная индукция и принцип наименьшего числа
    • Беклемишев Л.Д.
    • в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 242, с. 59-76
  • 
    • 2002 On the query complexity of finding a local maximum point
    • Rastsvetaev A.L., Beklemishev L.D.
    • в журнале Information Processing Letters, издательство Elsevier BV (Netherlands), том 84, № 6, с. 327-332 DOI
  • 
    • 1993 On propositional quantifiers in provability logic
    • Artemov Sergei N., Beklemishev Lev D.
    • в журнале Notre Dame Journal of Formal Logic, том 34, № 3, с. 401-419 DOI

• Статьи в сборниках

  • 
    • 2018 A note on strictly positive logics and word rewriting systems
    • Beklemishev Lev
    • в сборнике Larisa Maksimova on Implication, Interpolation, and Definability, серия Outstanding Contributions to Logic, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 15, с. 61-70 DOI
    • редактор Одинцов Сергей Павлович
  • 
    • 2018 A universal algebra for the variable-free fragment of RC∇
    • Beklemishev Lev D.
    • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Cham, том 10703, с. 91-106 DOI
    • редактор Артемов Сергей Николаевич
  • 
    • 2017 On the reflection calculus with partial conservativity operators
    • Beklemishev Lev D.
    • в сборнике Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 10388, с. 48-67 DOI
  • • 2016 Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics
    • Beklemishev Lev, Shamkanov Daniyar
    • в сборнике Liber Amicorum Alberti: A tribute to Albert Visser, серия Tributes, место издания College Publications London, том 30, с. 20-38
  • 
    • 2015 Proof theoretic analysis by iterated reflection
    • Beklemishev L.D.
    • в сборнике Turing’s Revolution. Part II, место издания Springer, с. 225-270 DOI
  • • 2014 Topological interpretations of provability logic
    • Beklemishev L., Gabelaia D.
    • в сборнике Leo Esakia on Duality in Modal and Intuitionistic Logics, серия Outstanding Contributions to Logic, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 4, с. 257-290 DOI
  • 
    • 2012 Calibrating provability logic: From modal logic to reflection calculus
    • Beklemishev L.
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 9, с. 89-94
  • • 2012 DKAL: A Distributed Knowledge Authorization Language and Its Logic of Information
    • Beklemishev L.
    • в сборнике 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, место издания Springer, том 7353, с. XIII-XIV
  • 
    • 2011 Ordinal completeness of bimodal provability logic GLB
    • Beklemishev L.
    • в сборнике Logic, language, and computation. 8th International Tbilisi Symposium TbiLLC 2009, серия Lecture Notes in Computer Science, место издания Springer Heidelberg, том 6618, с. 1-15 DOI
  • • 2010 On the Craig interpolation and the fixed point properties of GLP
    • Beklemishev L.
    • в сборнике Proofs, categories and computations, серия Tributes, место издания College Publications London, том 13, с. 49-60
  • • 2010 On topological models of GLP
    • Beklemishev L., Bezhanishvili G., Icard T.
    • в сборнике Ways of proof theory, серия Ontos Mathematical Logic, место издания Ontos Verlag Frankfurt, том 2, с. 133-153
  • • 2006 Problems in the logic of provability
    • Beklemishev L., Visser A.
    • в сборнике Mathematical Problems from Applied Logic I. Logics for the XXIst Century, серия International Mathematical Series, место издания Springer New York, NY, том 4, с. 77-136 DOI
  • • 2006 The Worm principle
    • Beklemishev L.D.
    • в сборнике Logic Colloquium ’02. Münster, Germany, 2002, серия Lecture Notes in Logic, место издания Assoc. Symbol. Logic La Jolla, CA, том 27, с. 75-95
  • • 2005 Provability Logic
    • Artemov Sergei N., Beklemishev Lev D.
    • в сборнике Handbook of Philosophical Logic, 2nd edition, Volume 13, Gabbay D.M., Guenthner F. (eds.), место издания Springer, с. 189-360 DOI
  • • 2000 Another pathological well-ordering
    • Beklemishev L.
    • в сборнике Logic Colloquium ’98. Prague, 1998, серия Lecture Notes in Logic, место издания Assoc. Symbol. Logic Urbana, IL, том 13, с. 105-108
  • • 1999 Classification of propositional provability logics
    • Beklemishev L.D.
    • в сборнике Provability, Complexity, Grammars, серия American Mathematical Society Translations, Series 2, место издания Amer. Math. Soc Providence, RI, том 192, с. 1-56
  • 
    • 1999 Open least element principle and bounded query computation
    • Beklemishev L.D.
    • в сборнике Computer science logic. Madrid, 1999, серия Lecture Notes in Computer Science, место издания Springer Berlin, том 1683, с. 389-404 DOI

• Доклады на конференциях

  • • 2019 Theories of Tarskian truthpredicates and reflection principles (Пленарный)
    • Автор: Беклемишев Л.Д.
    • Мальцевские чтения 2019, Новосибирск, ИМ СО РАН, Россия, 19-23 августа 2019
  • • 2019 Reflection Algebras for Theories of Iterated Truth Definitions (Пленарный)
    • Автор: Beklemishev L.
    • WoLLIC 2019, Утрехт, Нидерланды, 2-5 июля 2019
  • • 2019 Iterated truth definitions based on Tarskian biconditionals (Приглашенный)
    • Автор: Beklemishev L.
    • Shanin 100, Санкт-Петербург, Россия, 23-26 мая 2019
  • • 2018 Строго позитивные логики доказуемости (Пленарный)
    • Автор: Беклемишев Л.Д.
    • Всероссийская конференция «Алгебра и теория алгоритмов», посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета, г. Иваново, Россия, 21-24 марта 2018
  • • 2017 On the reflection calculus with partial conservativity operators (Устный)
    • Автор: Beklemishev L.D.
    • WoLLIC 2017, London, Великобритания, 17 июля - 22 декабря 2017
  • • 2017 Reflection calculus and conservativity spectra (Приглашенный)
    • Автор: Beklemishev L.D.
    • Journées sur les Arithmétiques Faibles, JAF 36, ПОМИ РАН, Санкт-Петербург, Россия, 5 июня - 7 декабря 2017
  • • 2017 О спектрах консервативности для арифметических теорий (Устный)
    • Автор: Беклемишев Лев Дмитриевич
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2016 Positive provability logic and reflection calculus (Устный)
    • Автор: Беклемишев Лев Дмитриевич
    • Математическая логика, алгебра и вычислимость: конференция, посвященная 85-летию С.И.Адяна, Математический институт им. В.А. Стеклова Российской академии наук, Россия, 18-19 июля 2016
  • • 2012 DKAL: A distributed knowledge authorization language and its logic of information (Приглашенный)
    • Автор: Beklemishev L.
    • 7th Inernational Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, July, 3-7, 2012 y., Nizhny Novgorod, 2012

• Тезисы докладов

  • • 2019 Reflection algebras for theories of iterated truthdefinitions
    • Beklemishev L.D.
    • в сборнике WoLLIC 2019: Logic, Language, Information, and Computation, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11541, тезисы, с. xi-xi
  • • 2019 Theories of Tarskian truthpredicates and reflection principles
    • Beklemishev L.D.
    • в сборнике Международная конференция "Мальцевские чтения", 19–23 августа 2019 г. Новосибирск, место издания Новосибирский государственный университет Новосибирск, тезисы, с. 14-14
  • • 2013 Позитивные логики доказуемости
    • Беклемишев Л.Д.
    • в сборнике Международная конференция “Мальцевские чтения”. Тезисы докладов, место издания Новосибирск, тезисы, с. 10
  • • 2006 Representing Worms as a term rewriting system
    • Beklemishev L.
    • в сборнике Logic, combinatorics and independence results, серия Oberwolfach Report, место издания Mathematisches Forschungsinstitut Oberwolfach, том 52, тезисы, с. 7-9

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Алгоритмические и семантические вопросы математической логики. 2021-2025
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Семенов А.Л. Ответственные исполнители: Золин Е.Е., Оноприенко А.А., Пентус М.Р. Участники НИР: Беклемишев Л.Д., Белов А.Я., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 октября 2019 - 30 сентября 2021 Схемы рефлексии и алгебры доказуемости
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Беклемишев Л.Д. Ответственный исполнитель: Колмаков Е.А.
  • • 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
    • Кафедра математической логики и теории алгоритмов
    • Руководители: Семенов А.Л., Успенский В.А. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Адян С.И., Беклемишев Л.Д., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Семенов А.Л., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2011 - 31 декабря 2015 Алгоритмические и семантические вопросы математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Беклемишев Л.Д., Верещагин Н.К., Золин Е.Е., Кузнецов С.Л., Плиско В.Е., Сорокин А.А., Шехтман В.Б.

• Членство в научных обществах

  • • с 2017 Московское Математическое Общество
    • Россия

• Участие в редколлегии журналов

  • • с 15 мая 2008 Archive for Mathematical Logic
    • издательство Springer Verlag (Germany)
  • • с 15 мая 2008 Известия РАН. Серия математическая

• Участие в редколлегии сборников

  • • 2016 Advances in Modal Logic
    • член редколлегии: Беклемишев Л.Д.
    • серия Advances in Modal Logic, том 11
    • место издания College Publications London
  • • 2015 Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science
    • член редколлегии: Беклемишев Л.Д.
    • серия Lecture Notes in Computer Science, том 9300
    • издательство Springer (New York)
  • • 2010 Advances in Modal Logic
    • члены редколлегии: Беклемишев Л.Д., Шехтман В.Б., Goranko V.
    • серия Advances in Modal Logic, том 8
    • место издания College Publications London

• Участие в программных комитетах конференций

  • • 23-26 мая 2019 Shanin 100
    • Заместитель председателя программного комитета
    • Санкт-Петербург, Россия
  • • 8-11 января 2018 Symposium on Logical Foundations of Computer Science, LFCS 2018
    • Член программного комитета
    • Deerfield Beach, Florida, США
  • • 17-20 октября 2017 Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles)
    • Член программного комитета
    • Steklov Mathematical Institute, Moscow, Russia, Россия
  • • 5 июня - 7 декабря 2017 Journées sur les Arithmétiques Faibles, JAF 36
    • Член программного комитета
    • ПОМИ РАН, Санкт-Петербург, Россия
  • • 12-18 июля 2015 The 10th International Symposium on Computer Science in Russia (CSR 2015)
    • Председатель программного комитета
    • Listvyanka (lake Baikal), Россия
  • • 2014 Wormshop 2014 (The 2nd Workshop on Proof Theory, Modal Logic and Reflection Principles)
    • Член программного комитета
    • Mexico City, Mexico, Мексика

• Членство в диссертационных советах

  • • с 5 сентября 2017 МГУ.011.4(01.17), МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 1.1.5 - Математическая логика, алгебра, теория чисел и дискретная математика (физ.-мат. науки)
    • Действующие члены совета: Чубариков В.Н., Иванов А.О., Мануйлов В.М., Алексеев В.Б., Беклемишев Л.Д., Богатый С.А., Гасанов Э.Э., Гашков С.Б., Геворкян П.С., Зайцев М.В., Кочергин В.В., Мищенко А.С., Нестеренко Ю.В., Орлов Д.О., Панов Т.Е., Садовничий Ю.В., Селезнева С.Н., Тюрин Н.А., Фоменко А.Т., Чирский В.Г., Шафаревич А.И., Шелехов А.М.
  • • 15 мая 2010 - 31 августа 2017 Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
  • • с 15 мая 2007 Д 002.022.03, Математический институт им. В.А. Стеклова РАН
    • Действующие члены совета: Шкредов И.Д., Беклемишев Л.Д., Дынников И.А., Нестеренко Ю.В., Орлов Д.О., Панов Т.Е., Фоменко А.Т.

• Руководство диссертациями

  • • 2022 Совместная логика задач и высказываний
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Оноприенко А.А., к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Беклемишев Л.Д., д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете МГУ.011.4(01.17) МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Оппоненты: Дудаков С.М., Мелихов С.А., Канович М.И.
  • • 2021 Предикаты доказуемости и связанные с ними алгебры
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Колмаков Евгений Александрович, МГУ имени М.В. Ломоносова
    • Научный руководитель: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете МГУ.011.4(01.17) МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Оппоненты: Одинцов Сергей Павлович, Кудинов Андрей Валерьевич, Калимуллин Искандер Шагитович
  • • 2015 Некоторые алгоритмические вопросы для полимодальных логик доказуемости
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Пахомов Фёдор Николаевич
    • Научный руководитель: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.022.03 при Математический институт им. В.А. Стеклова РАН
    • Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Шехтман Валентин Борисович, Варданян Валерий Арамович
  • • 2012 О пропозициональных исчислениях, представляющих понятие доказуемости
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Дашков Евгений Владимирович
    • Научный руководитель: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Артемов Сергей Николаевич, Шапировский Илья Борисович
  • • 2012 Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Шамканов Данияр Салкарбекович
    • Научные руководители: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова, Крупский Владимир Николаевич, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Оревков Владимир Павлович, Шапировский Илья Борисович

• Диссертации

  • • 1998 Схемы рефлексии в формальной арифметике
    • Докторская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.022.03 при Математический институт им. В.А. Стеклова РАН
    • Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Матиясевич Юрий Владимирович, Семёнов Алексей Львович, Успенский Владимир Андреевич
  • • 1992 Классификация пропозициональных логик доказуемости
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Научные руководители: Артемов Сергей Николаевич, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова, Адян Сергей Иванович, д.ф.-м.н., проф., акад. РАН
    • Защищена в совете Д 002.022.03 при Математический институт им. В.А. Стеклова РАН
    • Организация, в которой выполнялась работа: Математический институт им. В.А. Стеклова РАН
    • Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
    • Оппоненты: Оревков Владимир Павлович, Плиско Валерий Егорович

• Руководство дипломными работами

  • • 2023 Системы без правила сечения для бимодальных логик доказуемости CSM и CSMP
    • Научные руководители: Яворская Т.Л., Беклемишев Л.Д.
    • Автор: Ванг Вэйхань (Магистр)
  • • 2023 Системы без правила сечения для бимодальных логик доказуемости CSM и CSMP
    • Научные руководители: Яворская Т.Л., Беклемишев Л.Д.
    • Автор: Ванг Вэйхань (Магистр)
  • • 2017 Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик
    • Научный руководитель: Беклемишев Л.Д.
    • Автор: Михаил Владимирович Святловский (Бакалавр)
  • • 2013 О позитивных фрагментах модальных логик
    • Научный руководитель: Беклемишев Лев Дмитриевич
    • Автор: Каниськин Сергей Александрович (Специалист)
  • • 2012 Фрагменты интуиционистской модальной логики предикатов со слабой импликацией
    • Научный руководитель: Беклемишев Лев Дмитриевич
    • Автор: Подгайц Александра Ефремовна (Специалист)
  • • 2012 О разрешимости элементарных теорий алгебр доказуемости и их фрагментов
    • Научный руководитель: Беклемишев Лев Дмитриевич
    • Автор: Пахомов Фёдор Николаевич (Специалист)
  • • 2012 О конструктивных теориях типов и их компьютерных реализациях
    • Научные руководители: Беклемишев Лев Дмитриевич, Крупский Владимир Николаевич
    • Автор: Малокостова Екатерина Андреевна (Специалист)
  • • 2011 О задаче достижимости состояний для гибридных автоматов на торе
    • Научный руководитель: Беклемишев Лев Дмитриевич
    • Автор: Логинов Илья Сергеевич (Специалист)
  • • 2009 Формализация доказательства устранимости правила сечения в исчислении высказываний
    • Научные руководители: Беклемишев Лев Дмитриевич, Крупский Владимир Николаевич
    • Автор: Кашев Александр Викторович (Специалист)
  • • 1998 Разрешимость некоторых вариантов логики доказательств Артёмова
    • Научные руководители: Артемов Сергей Николаевич, Беклемишев Лев Дмитриевич
    • Автор: Мкртычев Алексей Викторович (Специалист)

• Руководство курсовыми работами

  • • 2023 Арифметическая семантика логики доказательств со свободными переменными
    • Научные руководители: Яворская Т.Л., Беклемишев Л.Д.
    • Автор: Чулева София (Специалист)

• Авторство учебных курсов

  • • 2019 Вычислительная теория доказательств и лямбда-исчисление
    • Авторы: Беклемишев Лев Дмитриевич, Кузнецов Степан Львович
  • • 2019 Введение в математическую логику и теорию алгоритмов
    • Автор: Беклемишев Лев Дмитриевич
  • • 2018 Введение в теорию доказательств: аспекты неполноты
    • Авторы: Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
  • • 2017 Основы теории доказательств
    • Авторы: Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
  • • 2016 Топологическая семантика логики доказуемости
    • Авторы: Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
  • • 2014 Математическая логика (обязательный спецкурс)
    • Авторы: Беклемишев Л.Д., Яворская Т.Л.
  • • 2014 Логические проблемы информатики
    • Авторы: Крупский В.Н., Беклемишев Л.Д., Пентус М.Р., Яворская Т.Л.
  • • 2013 Модели арифметики
    • Авторы: Яворская Т.Л., Беклемишев Л.Д.
  • • 2012 Логики доказуемости
    • Авторы: Беклемишев Л.Д., Яворская Т.Л.
  • • 2011 Просеминар по математической логике и информатике
    • Авторы: Беклемишев Лев Дмитриевич, Подольский Владимир Владимирович, Семёнов Алексей Львович, Кузнецов Степан Львович
  • • 2008 Введение в математическую логику
    • Автор: Беклемишев Лев Дмитриевич

• Преподавание учебных курсов

  • • 1 сентября 2020 - 20 декабря 2020 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2019 - 20 декабря 2019 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2018 - 19 мая 2019 Введение в теорию доказательств: аспекты неполноты
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2017 - 19 мая 2018 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2017 - 19 мая 2018 Основы теории доказательств
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2016 - 19 мая 2017 Топологическая семантика логики доказуемости
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2016 - 19 мая 2017 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2015 - 31 мая 2016 Просеминар по математической логике и информатике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • факультативная, семинары, 23 часов
  • • 1 сентября 2015 - 19 мая 2016 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2014 - 31 мая 2015 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2014 - 20 мая 2015 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 17 часов
  • • 2 сентября 2013 - 31 мая 2014 Модели арифметики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2013 - 20 мая 2014 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 17 часов
  • • 3 сентября 2012 - 19 мая 2013 Логики доказуемости
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 7 февраля 2010 - 31 мая 2010 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 7 февраля 2009 - 31 мая 2009 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 7 февраля 2008 - 31 мая 2008 Введение в математическую логику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов

• Выступление в СМИ

  • • 7 июля 2014 г. Математика – главный язык науки (цикл "Большая наука. На грани безумия") ("Общественное телевидение России")
    • Автор (участник): Беклемишев Лев Дмитриевич, Бурцев Михаил Сергеевич
  • • 7 июня 2013 г. Компьютерные доказательства (ПостНаука)
    • Автор (участник): Беклемишев Лев Дмитриевич
  • • 21 апреля 2013 г. Аксиоматический метод (ПостНаука)
    • Автор (участник): Беклемишев Лев Дмитриевич

---