Отделы

Об институте

Научная деятельность

Публикации

Правила оформления научных работ

Администрация

Ученый совет

Диссертационные советы

Отделы

Сотрудники

Аспирантура

Научно-образовательный центр

Адрес института

Адрес: Россия, 119991, Москва, ул. Губкина, д. 8
Тел.: +7(495) 984 81 41
Факс: +7(495) 984 81 39
Сайт: www.mi-ras.ru
E-mail: steklov@mi-ras.ru

Посмотреть карту

Схема проезда

Отдел математической логики

| Семинары отдела | Поздравления | Публикации сотрудников |

Сотрудники

Адян Сергей Иванович доктор физ.-матем. наук, академик РАН, заведующий отделом, главный научный сотрудник комн.: 508; тел.: +7 (499) 941 01 83, +7 (495) 984 81 41 * 36 34; e-mail: sia@mi-ras.ru Основные направления исследований: Алгоритмические вопросы алгебры, теория полугрупп, теория групп. Список публикаций
Беклемишев Лев Дмитриевич доктор физ.-матем. наук, академик РАН, заместитель директора по научной работе, главный научный сотрудник комн.: 324; тел.: +7 (495) 984 81 43, +7 (495) 984 81 41 * 37 44; e-mail: bekl@mi-ras.ru Основные направления исследований: Теория доказательств, формальная арифметика. Список публикаций
Кузнецов Степан Львович кандидат физ.-матем. наук, старший научный сотрудник комн.: 515; тел.: +7 (495) 984 81 41 * 37 44; e-mail: skuzn@inbox.ru Список публикаций
Лысенок Игорь Геронтьевич доктор физ.-матем. наук, ведущий научный сотрудник комн.: 507; тел.: +7 (495) 984 81 41 * 37 52; e-mail: lysionok@mi-ras.ru Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории групп. Список публикаций
Пахомов Федор Николаевич кандидат физ.-матем. наук, научный сотрудник e-mail: pakhfn@gmail.com Основные направления исследований: Теория доказательств, модальная логика, проблемы разрешимости. Список публикаций
Подольский Владимир Владимирович кандидат физ.-матем. наук, старший научный сотрудник комн.: 506; тел.: +7 (495) 984 81 41 * 37 46; e-mail: podolskii@mi-ras.ru Персональная страница: http://www.mi-ras.ru/~podolskii/ Основные направления исследований: Теория сложности вычислений. Список публикаций
Разборов Александр Александрович доктор физ.-матем. наук, член-корр. РАН, главный научный сотрудник комн.: 506; тел.: +7 (495) 984 81 41 * 37 46; e-mail: razborov@mi-ras.ru Персональная страница: http://www.mi-ras.ru/~razborov/ Основные направления исследований: Теория сложности вычислений. Список публикаций
Таламбуца Алексей Леонидович кандидат физ.-матем. наук, научный сотрудник комн.: 507; тел.: +7 (495) 984 81 41 * 37 52; e-mail: altal@mi-ras.ru Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории групп и полугрупп. Список публикаций
Шамканов Данияр Салкарбекович кандидат физ.-матем. наук, старший научный сотрудник комн.: 515; тел.: +7 (495) 984 81 43; e-mail: daniyar.shamkanov@gmail.com Основные направления исследований: Теория доказательств, комбинаторная логика, неклассические логики. Список публикаций

Маканин Геннадий Семенович (19.05.1938 – 18.05.2017) доктор физ.-матем. наук, внештатный сотрудник Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории полугрупп. Список публикаций

Наверх

Семинары отдела

Геометрическая теория групп

Руководители семинара: И. Г. Лысёнок; А. Л. Таламбуца

МИАН им.В.А.Стеклова РАН, ауд.530

Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»

Руководитель семинара: С. И. Адян

ГЗ МГУ, ауд. 16-04

Семинар отдела математической логики «Теория доказательств»

Руководитель семинара: Л. Д. Беклемишев

МИАН, ауд. 530

Спецсеминар И. Г. Лысёнка «Геометрическая теория групп», 2012

Руководитель семинара: И. Г. Лысёнок

МИАН, комн. 430 (ул. Губкина, 8)

Наверх

Поздравления
На заседании Ученого Совета МИАН 21 января 2016 года директор института академик РАН В. В. Козлов поздравил заведующего отделом математической логики академика РАН С. И. Адяна с 85-летием и от имени сотрудников института вручил приветственный адрес.

Наверх

Публикации сотрудников за последние годы

по годам

научные публикации

по типам



2019
1.	С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180 ; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753
2.	Lev D. Beklemishev, Fedor N. Pakhomov, Reflection algebras and conservation results for theories of iterated truth, 2019 , 48 pp., arXiv: 1908.10302
3.	E. A. Kolmakov, L. D. Beklemishev, “Axiomatization of provable $n$-provability”, J. Symb. Log., 84:2 (2019), 849–869 ;
4.	Alexander S. Kulikov, Vladimir V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, Theory Comput. Syst., 63:5 (2019), 956–986
5.	Luka Mikec, Fedor Pakhomov, Mladen Vuković, “Complexity of the interpretability logic IL”, Log. J. IGPL, 27:1 (2019), 1–7 , arXiv: 1710.05599
6.	Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358 , arXiv: 1712.01713
7.	Ali Enayat, Fedor Pakhomov, “Truth, disjunction, and induction”, Arch. Math. Logic, 58 (2019), 753–766 , arXiv: 1805.09890
8.	Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, WoLLIC 2019: Logic, Language, Information, and Computation (International Workshop on Logic, Language, Information, and Computation), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 569–583 ;
9.	Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 29:8, A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday (2019), 1217–1249 , arXiv: 1709.03607 (cited: 1) (cited: 3)
10.	Stepan Kuznetsov, Valentina Lugovaya, Anastasiia Ryzhova, “Craig’s trick and a non-sequential system for the Lambek calculus and its fragments”, Log. J. IGPL, 27:3 (2019), 252–266
11.	Stepan Kuznetsov, “The logic of action lattices is undecidable”, Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 (Vancouver, B.C., June 24–27, 2019), IEEE, 2019, 1–9
12.	С. Кузнецов, “Еще раз о полуправильных многогранниках”, Квант, 2019, № 3, 29–31
13.	Stepan Kuznetsov, “Complexity of reasoning in residuated Kleene algebras”, 5th International Workshop on Structures and Deduction (Dortmund, June 29–30, 2019), 2019 http://www.anupamdas.com/sd19/papers/SD19_paper_9.pdf
14.	Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, WoLLIC 2019: Logic, Language, Information, and Computation, International Workshop on Logic, Language, Information, and Computation (Utrecht, July 2–5, 2019), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 356–372 (cited: 1)
15.	Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, WoLLIC 2019: Logic, Language, Information, and Computation, International Workshop on Logic, Language, Information, and Computation (Utrecht, July 2–5, 2019), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 373–391
16.	Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Formal Grammar, 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Lecture Notes in Comput. Sci., 11668, Springer, Berlin, Heidelberg, 2019, 67–83 ;

2018
17.	Alexander Razborov, “On Space and Depth in Resolution”, Computational Complexity, 27:3 (2018), 511-559 (cited: 1) (cited: 1)
18.	Albert Atserias, Ilario Bonacina, Susanna de Rezende, Massimo Lauria, Jakob Nordström, Alexander Razborov, “Clique Is Hard on Average for Regular Resolution”, Proceedings of the 50th ACM Symposium on Theory of Computing (Los Angeles, CA, USA, June 2018), ACM Press, 2018, 866-877
19.	И. Г. Лысëнок, “Подход к изучению конечно определенных групп, основанный на понятии дискретной кривизны”, Матем. заметки, 103:4 (2018), 568–575 ; I. G. Lysenok, “An Approach to the Study of Finitely Presented Groups Based on the Notion of Discrete Curvature”, Math. Notes, 103:4 (2018), 610–615
20.	С. И. Адян, “Об исследованиях Геннадия Семёновича Маканина по алгоритмическим вопросам теории групп и полугрупп”, УМН, 73:3(441) (2018), 183–196 ; S. I. Adian, “On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups”, Russian Math. Surveys, 73:3 (2018), 553–568
21.	С. И. Адян, В. С. Атабекян, “Центральные расширения свободных периодических групп”, Матем. сб., 209:12 (2018), 3–16 (цит.: 2) (цит.: 2) ; S. I. Adian, V. S. Atabekyan, “Central extensions of free periodic groups”, Sb. Math., 209:12 (2018), 1677–1689 (cited: 2) (cited: 1)
22.	Lev Beklemishev, “A note on strictly positive logics and word rewriting systems”, Larisa Maximova on Implication, Interpolation, and Definability, Outst. Contrib. Log., 15, eds. Sergei Odintsov, Springer, Berlin, Heidelberg, 2018, 61–70 (cited: 3) (cited: 4)
23.	Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4(442) (2018), 3–52 ; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613 (cited: 1)
24.	Lev D. Beklemishev, “A universal algebra for the variable-free fragment of $RC^\nabla$”, Logical Foundations of Computer Science, International Symposium, LFCS 2018, Lecture Notes in Comput. Sci., 10703, Springer, Berlin, Heidelberg, 2018, 91–106 (cited: 3)
25.	Gerald Berger, L. D. Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze's polymodal provability logic”, Log. J. IGPL, 26:5 (2018), 505–538
26.	L. D. Beklemishev, A universal Kripke frame for the variable-free fragment of RC∇, 2018 , 5 pp., arXiv: 1804.02641
27.	Е. А. Колмаков, Л. Д. Беклемишев, “Аксиоматизация доказуемой $n$-доказуемости”, Докл. РАН, 483:3 (2018), 244–248 ; E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing provable $n$-provability”, Dokl. Math., 98:3 (2018), 582–585
28.	A. Kolpakov, A. Talambutsa, Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers, 2018 , 12 pp., to be published in Discrete Mathematics, arXiv: 1809.09591
29.	Tobias Hartnick, Alexey Talambutsa, “Relations between counting functions on free groups and free monoids”, Groups, Geometry and Dynamics, 12:4 (2018), 1485–1521 , arXiv: 1508.03166 (cited: 1)
30.	Dima Grigoriev, Vladimir V. Podolskii, “Tropical effective primary and dual nullstellensätze”, Discrete Comput. Geom., 59:3 (2018), 507–552 (cited: 1) (cited: 1)
31.	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity”, Journal of the ACM, 65:5 (2018), 28 , 51 pp. (cited: 2) (cited: 7)
32.	Fedor V. Fomin, Vladimir V. Podolskii (eds.), Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings, Lecture Notes in Computer Science 10846, Springer, 2018 https://link.springer.com/book/10.1007
33.	Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, International Symposium on Logical Foundations of Computer Science (Deerfield Beach, FL, USA, January 8–11, 2018), Lecture Notes in Comput. Sci., 10703, Springer, 2018, 354–367 , arXiv: 1709.07341
34.	Fedor Pakhomov, James Walsh, Reflection Ranks and Ordinal Analysis, 2018 , 32 pp., submitted to the journal “Review of Symbolic Logic”, arXiv: 1805.02095
35.	Y. Savateev, D. Shamkanov, Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs, 2018 , 17 pp., arXiv: 1804.01432
36.	Y. Savateev, D. Shamkanov, Non-Well-Founded Proofs for the Grzegorczyk Modal Logic, 2018 , 31 pp., arXiv: 1804.00955
37.	S. Kuznetsov, “$*$-continuity vs. induction: divide and conquer”, AiML 2018 (Bern, August 27–31, 2018), Advances in Modal Logic, 12, College Publications, London, 2018, 493–510 http://aiml.net/volumes/volume12/Kuznetsov.pdf
38.	Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Formal Grammar 2018, 23rd International Conference, FG 2018 (Sofia, Bulgaria, August 11–12, 2018), Lecture Notes in Comput. Sci., 10950, Springer-Verlag, Berlin, Heidelberg, 2018, 84–101 (cited: 1)
39.	Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Automated Reasoning (Oxford, UK, July 14-17, 2018), Lecture Notes in Comput. Sci., 10900, eds. D. Galmiche, S. Schulz, R. Sebastiani, Springer, Cham, 2018, 228–245 (cited: 2)
40.	С. Л. Кузнецов, “О полноте фрагмента исчисления Ламбека с операциями итерации и пересечения относительно реляционных моделей”, Мальцевские чтения 2018 (Новосибирск, 19–22 ноября 2018 г.), Институт математики им. С. Л. Соболева СО РАН; Новосибирский гос. университет, Новосибирск, 2018, 224 http://www.math.nsc.ru/conference/malmeet/18/maltsev18.pdf
41.	С. Кузнецов, “Замощения сферы и архимедовы многогранники”, Квант, 2018, № 11, 9
42.	С. Кузнецов, “Задачи помогают друг другу”, Квант, 2018, № 5, 24
43.	С. Кузнецов, “Полуправильные замощения плоскости”, Квант, 2018, № 3, 32–33

2017
44.	Alexander Razborov, “On the width of semi-algebraic proofs and algorithms”, Mathematics of Operation Research, 42:4 (2017), 1106–1134 (cited: 1) (cited: 1)
45.	Oleg Pikhurko, Alexander Razborov, “Asymptotic structure of graphs with the minimum number of triangles”, Comb. Probab. Comput., 26:1 (2017), 138–160 (cited: 6) (cited: 9)
46.	L. N. Coregliano, A. A. Razborov, “On the density of transitive tournaments”, J. Graph Theory, 85:1 (2017), 12–21 , arXiv: 1501.04074 (cited: 4) (cited: 4)
47.	Yuan Li, Alexander Razborov, Benjamin Rossman, “On the $AC^0$ Complexity of Subgraph Isomorphism”, SIAM Journal on Computing, 46:3 (2017), 936–971 (cited: 3) (cited: 3)
48.	С. И. Адян, В. С. Атабекян, “О свободных группах бесконечно базируемых многообразий С. И. Адяна”, Изв. РАН. Сер. матем., 81:5 (2017), 3–14 (цит.: 4) (цит.: 3) ; S. I. Adian, V. S. Atabekyan, “On free groups in the infinitely based varieties of S. I. Adian”, Izv. Math., 81:5 (2017), 889–900 (cited: 3) (cited: 3)
49.	С. И. Адян, В. С. Атабекян, “Периодические произведения групп”, Известия НАН РА Математика, 52:3 (2017), 3–15 (цит.: 4); S. I. Adian, V. S. Atabekyan, “Periodic products of groups”, J. Contemp. Math. Anal., Armen. Acad. Sci., 52:3 (2017), 111–117 (cited: 4) (cited: 3)
50.	Lev D. Beklemishev, Reflection calculus and conservativity spectra, 2017 , 28 pp., arXiv: 1703.09314
51.	Л. Д. Беклемишев, “О свойстве редукции для $GLP$-алгебр”, Докл. РАН, 472:4 (2017), 378–382 (цит.: 1) (цит.: 3) ; L. D. Beklemishev, “On the Reduction Property for GLP-Algebras”, Dokl. Math., 95:1 (2017), 50–54 (cited: 3) (cited: 3)
52.	Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388, 2017, 48–67 (cited: 4) (cited: 6)
53.	Lev Beklemishev, “Guest Editorial: Computer Science Symposium in Russia”, Theory Comput. Syst., 61:2 (2017), 462–463 https://link.springer.com/content/pdf/10.1007
54.	M. Bucher, A. Talambutsa, “Minimal exponential growth rates of metabelian Baumslag–Solitar groups and lamplighter groups”, Groups, Geometry and Dynamics, 11:1 (2017), 189–209 , arXiv: 1506.03569 (cited: 2) (cited: 3)
55.	Vladimir V. Podolskii, “Bounds in Ontology-Based Data Access via Circuit Complexity”, Theory Comput. Syst., 61:2 (2017), 464–493 (cited: 1) (cited: 1)
56.	M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov, M. Zakharyaschev, “The complexity of ontology-based data access with OWL2QL and bounded treewidth queries”, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Volume Part F127745, 9 May 2017 (Chicago, United States, 14 May 2017 до 19 May 2017, Код 127745), 2017, 201–216 (цит.: 3) (цит.: 6)
57.	O. A. Gerasimova, S. P. Kikot, V. V. Podolskii, M. Zakharyaschev, “More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom”, International Conference on Knowledge Engineering and the Semantic Web KESW 2017: Knowledge Engineering and Semantic Web, Commun. Comput. Inf. Sci., 786, Springer, 2017, 143–158 (cited: 1)
58.	A. S. Kulikov, V. V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Leibniz Internat. Proc. in Inform., 66, no. 49, 2017, 1–14 (cited: 1)
59.	D. Yu. Grigor'ev, V. V. Podolskii, “Tropical Combinatorial Nullstellensatz and Fewnomials Testing”, International Symposium on Fundamentals of Computation Theory FCT 2017: Fundamentals of Computation Theory, Lecture Notes in Comput. Sci., 10472, Springer, 2017, 284–297 (cited: 2)
60.	O. Gerasimova, S. Kikot, V. Podolskii, M. Zakharyaschev, “On the data complexity of ontology-mediated queries with a covering axiom”, Proceedings of the 30th International Workshop on Description Logics (Montpellier, France, 18 July 2017 - 21 July 2017), CEUR Workshop Proceedings, 1879, CEUR-WS, 2017, 39 , 12 pp. (cited: 2)
61.	Fedor Pakhomov, “Solovay’s completeness without fixed points”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Kennedy J., de Queiroz R., Springer, Berlin, 2017, 281–294 arxiv: 1703.10262
62.	Anton Freund, Fedor Pakhomov, Short Proofs for Slow Consistency., 2017 , 18 pp., accepted to “Notre Dame Journal of Formal Logic”, arXiv: 1712.03251
63.	Yury Savateev, Daniyar Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 321–336 (cited: 1) (cited: 2)
64.	Daniyar Shamkanov, “Global neighbourhood completeness of the Gödel-Löb provability logic”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 358–371
65.	S. Kuznetsov, A. Okhotin, “Conjunctive categorial grammars”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 140–151 (W17-3414) http://aclweb.org/anthology/W17-3414
66.	S. Kuznetsov, G. Morrill, O. Valentín, “Count-invariance including exponentials”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 128–139 (W17-3413) http://www.aclweb.org/anthology/W17-3413
67.	Stepan Kuznetsov, “The Lambek calculus with iteration: two variants”, WoLLIC 2017 (London, July 18–21, 2017), Lecture Notes in Comput. Sci., 10388, 2017, 182–198 (cited: 1)
68.	С. Кузнецов, “Птичка вылетает!”, Квантик, 2017, № 2, 10–11
69.	Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov, “A polynomial-time algorithm for the Lambek calculus with brackets of bounded order”, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, September 3–9, 2017), Leibniz Internat. Proc. in Inform., 84, eds. D. Miller, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, 2017, 22:1–22:17 (cited: 3)
70.	Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Fundamentals of Computation Theory, FCT 2017 (Bordeaux, September 11–13, 2017), Lecture Notes in Comput. Sci., 10472, eds. R. Klasing, M. Zeitoun, Springer, 2017, 326–340 (cited: 5)
71.	S. Kuznetsov, Eliminating the unit constant in the Lambek calculus with brackets, 2017 , 7 pp., arXiv: 1711.06361
72.	С. Кузнецов, “Теорема Шаля в трех лицах (окончание)”, Квант, 2017, № 10, 2–5
73.	С. Кузнецов, “Теорема Шаля в трех лицах”, Квант, 2017, № 9, 10–14
74.	С. Кузнецов, “Знание — сила!”, Квант, 2017, № 6, 21–24
75.	С. Кузнецов, “Расстояния на сфере”, Квант, 2017, № 4, 36–38
76.	С. Кузнецов, “Птичка вылетает!”, Квант, 2017, № 1, 30–31

2016
77.	Alexander Razborov, “A new kind of tradeoffs in propositional proof complexity”, Journal of the ACM, 63:2 (2016), 16 , 14 pp. (cited: 8) (cited: 10)
78.	Igor Lysenok, Alexander Ushakov, “Spherical quadratic equations in free metabelian groups”, Proc. Amer. Math. Soc., 144:4 (2016), 1383–1390 , arXiv: 1304.4898 (cited: 2)
79.	Igor Lysenok, Alexei Miasnikov, Alexander Ushakov, “Quadratic equations in the Grigorchuk group”, Groups Geom. Dyn., 10:1 (2016), 201–239 , arXiv: 1304.5579 (cited: 1)
80.	С. И. Адян, В. С. Атабекян, “$C^$-простота $n$-периодических произведений”, Матем. заметки, 99:5 (2016), 643–648 (цит.: 2) (цит.: 2) ; S. I. Adian, V. S. Atabekyan, “$C^$-Simplicity of $n$-Periodic Products”, Math. Notes, 99:5 (2016), 631–635 (cited: 2) (cited: 1)
81.	L. D. Beklemishev, “Proof theoretic analysis by iterated reflection”, Turing's revolution, Part II, Birkhäuser/Springer, Cham, 2016, 225–270 (cited: 1)
82.	Lev Beklemishev, Tommaso Flaminio, “Franco Montagna's work on provability logic and many-valued logic”, Studia Logica, 104:1 (2016), 1–46
83.	L. D. Beklemishev, Notes on a reduction property for GLP-algebras, 2016 , 8 pp., arXiv: 1606.00290
84.	Lev Beklemishev, Daniyar Shamkanov, “Some abstract versions of Gö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
85.	Gerald Berger, Lev D. Beklemishev, Hans Tompits, A Many-Sorted Variant of Japaridze's Polymodal Provability Logic, 2016 , 15 pp., arXiv: 1601.02857
86.	Advances in Modal Logic, v. 11, eds. Lev Beklemishev, Stephane Demri, Andras Mate, College Publications, London, 2016 , xii+570 pp.
87.	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
88.	M. Bucher, A. Talambutsa, “Exponential growth rates of free and amalgamated products”, Israel J. Math., 212:2 (2016), 521–546 , arXiv: 1209.4071 (cited: 2) (cited: 3)
89.	M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries” (Cape Town, South Africa, 22 April 2016 – 25 April 2016), CEUR Workshop Proceedings, 1577, 2016 , arXiv: 1604.05258
90.	Ф. Н. Пахомов, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Изв. РАН. Сер. матем., 80:6 (2016), 173–216 ; F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199
91.	Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гëделя–Лëба”, Матем. сб., 207:9 (2016), 171–190 (цит.: 2) (цит.: 2) ; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360 (cited: 2) (cited: 2)
92.	M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Lecture Notes in Comput. Sci., 9537, 2016, 146–158 (cited: 1) (cited: 3)
93.	Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804, eds. A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla, 2016, 240–256 , arXiv: 1601.06303 (cited: 6)
94.	С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Тр. МИАН, 294, МАИК, М., 2016, 141–151 (цит.: 1) ; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138 (cited: 1) (cited: 3)
95.	M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “On the proof theory of non-commutative subexponentials”, Dale Fest!, Seminar in honor of the 60th birthday of Dale Miller (Paris, December 15–16, 2017), Université Paris Diderot, 2016, 10 p. http://www.lsv.fr/~baelde/dale-fest/kanovich-etal.pdf

2015
96.	A. A. Razborov, “Pseudorandom generators hard for $k$-DNF resolution and polynomial calculus resolution”, Ann. of Math. (2), 181:2 (2015), 415–472 (cited: 3) (cited: 6) (cited: 11)
97.	С. И. Адян, В. В. Беняш-Кривец, В. М. Бухштабер, Е. И. Зельманов, В. В. Козлов, Г. А. Маргулис, С. П. Новиков, А. Н. Паршин, Г. Прасад, А. С. Рапинчук, Л. Д. Фаддеев, В. И. Черноусов, “Владимир Петрович Платонов (к 75-летию со дня рождения)”, УМН, 70:1(421) (2015), 204–207 ; S. I. Adian, V. V. Benyash-Krivets, V. M. Buchstaber, E. I. Zelmanov, V. V. Kozlov, G. A. Margulis, S. P. Novikov, A. N. Parshin, G. Prasad, A. S. Rapinchuk, L. D. Faddeev, V. I. Chernousov, “Vladimir Petrovich Platonov (on his 75th birthday)”, Russian Math. Surveys, 70:1 (2015), 197–201 (cited: 2) (cited: 2)
98.	С. И. Адян, “Новые оценки нечетных периодов бесконечных бернсайдовых групп”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 41–82 (цит.: 11) (цит.: 11) ; S. I. Adian, “New Estimates of Odd Exponents of Infinite Burnside Groups”, Proc. Steklov Inst. Math., 289 (2015), 33–71 (cited: 11) (cited: 3) (cited: 4)
99.	С. И. Адян, В. С. Атабекян, “Характеристические свойства и равномерная неаменабельность $n$-периодических произведений групп”, Изв. РАН. Сер. матем., 79:6 (2015), 3–17 (цит.: 4) (цит.: 4) (цит.: 1); S. I. Adian, Varuzhan Atabekyan, “Characteristic properties and uniform non-amenability of $n$-periodic products of groups”, Izv. Math., 79:6 (2015), 1097–1110 (cited: 4)
100.	С. И. Адян, В. В. Беняш-Кривец, В. М. Бухштабер, Е. И. Зельманов, В. В. Козлов, Г. А. Маргулис, С. П. Новиков, А. Н. Паршин, Г. Прасад, А. С. Рапинчук, Л. Д. Фаддеев, В. И. Черноусов, “Владимир Петрович Платонов (к 75-летию со дня рождения)”, Чебышевский сб., 16:4 (2015), 6–10
101.	G. S. Makanin, A. Sh. Malkhasyan, “General solution of quadratic equations in free groups”, Proceedings of the Yerevan State University. Physical and Mathematical Sciences., 2015, no. 2, 62–65
102.	L. D. Beklemishev, A note on strictly positive logics and word rewriting systems, 2015 , 8 pp., arXiv: 1509.00666
103.	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.
104.	Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20 (цит.: 3) (цит.: 3) ; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190 (cited: 3) (cited: 4)
105.	K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Inform. and Comput., 240 (2015), 56–73 (cited: 4) (cited: 2)
106.	Dima Grigoriev, Vladimir V. Podolskii, “Complexity of tropical and min-plus linear prevarieties”, Comput. Complexity, 24:1 (2015), 31–64 http://www.mpim-bonn.mpg.de/preblob/5202, arXiv: 1204.4578 (цит.: 1) (цит.: 5) (цит.: 9)
107.	D. Grigoriev, V. V. Podolskii, “Tropical effective primary and dual Nullstellensätze”, 32nd International Symposium on Theoretical Aspects of Computer Science, LIPIcs. Leibniz Int. Proc. Inform., 30, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2015, 379–391 (цит.: 4)
108.	V. V. Podolskii, “Circuit complexity meets ontology-based data access”, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Comput. Sci., 9139, 2015, 7–26 , arXiv: 1506.01296 (cited: 2)
109.	Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii, “Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results”, 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2015, 317–328 (cited: 3) (cited: 10)
110.	Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 206–226 (цит.: 4) (цит.: 4) ; F. N. Pakhomov, “On Elementary Theories of Ordinal Notation Systems Based on Reflection Principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212 (cited: 4) (cited: 1) (cited: 5)
111.	Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 с., arXiv: 1512.05036
112.	Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Log. J. IGPL, 23:5 (2015), 789–815 (cited: 2) (cited: 4)
113.	С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Тр. МИАН, 290, МАИК, М., 2015, 72–79 (цит.: 1) (цит.: 1) (цит.: 1); S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69 (cited: 1) (cited: 1) (cited: 1)
114.	С. Л. Кузнецов, Н. С. Рыжкова, “Фрагмент исчисления Ламбека с итерацией”, Мальцевские чтения 2015 (Новосибирск, 3–7 мая 2015 г.), Институт математики им. С.Л. Соболева СО РАН; Новосибирский гос. университет, Новосибирск, 2015, 213 http://www.math.nsc.ru/conference/malmeet/15/malmeet15.pdf

2014
115.	А. А. Разборов, “О $(3,4)$-проблеме Турана с запрещенными подграфами”, Матем. заметки, 95:2 (2014), 271–281 , arXiv: 1210.4605 (цит.: 2) (цит.: 2) ; A. A. Razborov, “On Turán's $(3,4)$-Problem with Forbidden Subgraphs”, Math. Notes, 95:2 (2014), 247–254 (cited: 2) (cited: 1) (cited: 2)
116.	A. A. Razborov, “A product theorem in free groups”, Ann. of Math. (2), 179:2 (2014), 405–429 (cited: 2) (cited: 1) (cited: 1)
117.	С. И. Адян, В. С. Атабекян, “О хопфовости $n$-периодических произведений групп”, Матем. заметки, 95:4 (2014), 483–491 (цит.: 3) (цит.: 3) (цит.: 2); S. I. Adian, V. S. Atabekyan, “The Hopfian Property of $n$-Periodic Products of Groups”, Math. Notes, 95:4 (2014), 443–449 (cited: 3) (cited: 1) (cited: 1)
118.	L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”, Studia Logica, 102:3 (2014), 541–566 , arXiv: 1210.4809 (cited: 9) (cited: 1)
119.	L. Beklemishev, “Positive provability logic for uniform reflection principles”, Ann. Pure Appl. Logic, 165:1 (2014), 82–105 (cited: 9) (cited: 9)
120.	L. Beklemishev, Y. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014), 257–282 (cited: 7) (cited: 5) (cited: 11)
121.	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
122.	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
123.	Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev, “The price of query rewriting in ontology-based data access”, Artificial Intelligence, 213 (2014), 42–59 (cited: 24) (cited: 13) (cited: 45)
124.	Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase”, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM Digital Library, 2014, 57:1–57:10 , arXiv: 1401.4420
125.	M. Bienvenu, S. Kikot, V. Podolskii, “Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries”, Description Logics 2014, CEUR Workshop Proceedings, 1193, 2014, 45–57 http://ceur-ws.org/Vol-1193/paper_43.pdf (cited: 2)
126.	Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967 (cited: 4) (cited: 1)
127.	F. Pakhomov, “Ordinal Notations and Fundamental Sequences in Caucal Hierarchy”, Logic Colloquium, Logic, Algebra and Truth Degrees. Abstract Booklet (Vienna, July 14–19), Kurt Gödel Society, 2014, 88
128.	Fedor Pakhomov, “Complexity of Fragments of the Logic GLP”, Proof Theory, Modal Logic and Re ection Principles (Mexico City, September 29 – October 2, 2014), ITAM, 2014, 4
129.	Д. С. Шамканов, “Циклические выводы для логики доказуемости Гëделя–Лëба”, Матем. заметки, 96:4 (2014), 609–622 (цит.: 8) (цит.: 8) (цит.: 2); D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585 (cited: 8) (cited: 1) (cited: 10)
130.	Daniyar Shamkanov, “Circular proofs for provability logic”, LOGIC COLLOQUIUM '13 (Evora, Portugal, July 22–27, 2013), The Bulletin of Symbolic Logic, 20, no. 2, 2014, 242–243 http://www.jstor.org/stable/23800717
131.	D. Shamkanov, “Nested sequents for provability logic GLP”, Proof Theory, Modal Logic and Reflection Principles (Mexico City, Mexico, September 29 – October 2, 2014), Instituto Tecnologico Autonomo de Mexico, Mexico City, 2014, 20
132.	S. Kuznetsov, “$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents”, Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday, Lecture Notes in Comput. Sci., 8222, eds. C. Casadio, B. Coecke, M. Moortgat, P. Scott, Springer, Berlin, Heidelberg, 2014, 268–278
133.	S. L. Kuznetsov, “Trivalent logics arising from L-models for the Lambek calculus with constants”, J. Appl. Non-Class. Log., 14:1-2 (2014), 132–137 (cited: 1)
134.	S. Kuznetsov, “On translating context-free grammars into Lambek categorial grammars”, Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), Affliated to RTA-TLCA, VSL 2014 (Vienna, July 17–18, 2014), eds. V. de Paiva, W. Neuper, P. Quaresma, C. Retoré, L. S. Moss, J. Saludes, Center for Informatics and Systems of the University of Coimbra, Coimbra, Portugal, 2014, 137–142 https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2014-02.pdf

2013
135.	H. Hatami, J. Hladky, D. Král', S. Norin, A. Razborov, “On the number of pentagons in triangle-free graphs”, J. Combin. Theory Ser. A, 120:3 (2013), 722–732 (cited: 37) (cited: 11) (cited: 43)
136.	A. Razborov, “On the Caccetta-Häggkvist conjecture with forbidden subgraphs”, J. Graph Theory, 74:2 (2013), 236–248 , arXiv: 1107.2247 (cited: 11) (cited: 3) (cited: 12)
137.	E. Viola, A. Razborov, “Real advantage”, ACM Trans. Comput. Theory, 5:4 (2013), 17 , 8 pp. (cited: 7)
138.	А. А. Разборов, “What is a Flag Algebra?”, Notices Amer. Math. Soc., 60:10 (2013), 1324–1327
139.	A. Razborov, “Flag algebras: an interim report”, Mathematics of Paul Erdős II, Springer, 2013, 207–232
140.	А. А. Аграчëв, Д. В. Аносов, С. М. Асеев, В. М. Бухштабер, А. М. Вершик, Я. Б. Воробец, В. А. Кайманович, Б. С. Кашин, И. Г. Лысëнок, А. Ю. Ольшанский, В. Н. Ремесленников, Я. Г. Синай, С. К. Смирнов, А. М. Степин, И. А. Тайманов, Е. В. Щепин, “Ростислав Иванович Григорчук (к шестидесятилетию со дня рождения)”, УМН, 68:5(413) (2013), 187–190 ; A. A. Agrachëv, D. V. Anosov, S. M. Aseev, V. M. Buchstaber, A. M. Vershik, Ya. B. Vorobets, V. A. Kaimanovich, B. S. Kashin, I. G. Lysënok, A. Yu. Ol'shanskii, V. N. Remeslennikov, Ya. G. Sinai, S. K. Smirnov, A. M. Stepin, I. A. Taimanov, E. V. Shchepin, “Rostislav Ivanovich Grigorchuk (on his sixtieth birthday)”, Russian Math. Surveys, 68:5 (2013), 967–971
141.	L. Beklemishev, D. Gabelaia, “Topological completeness of the provability logic GLP”, Ann. Pure Appl. Logic, 164:12 (2013), 1201–1223 , arXiv: 1106.5693 (cited: 11) (cited: 4) (cited: 12)
142.	Л. Д. Беклемишев, “Позитивные логики доказуемости”, Международная конференция “Мальцевские чтения”. Тезисы докладов (Новосибирск, 11–15 ноября 2013 г.), ФГБУН Институт математики им. С.Л. Соболева СО РАН; Новосибирский государственный университет, Новосибирск, 2013, 10 www.math.nsc.ru/conference/malmeet/13/maltsev13.pdf
143.	V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, Log. Methods Comput. Sci., 9:2 (2013), 13 , 17 pp. (cited: 2)
144.	K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Mathematical Foundations of Computer Science 2013, 38th International Symposium, MFCS 2013 (Klosterneuburg, Austria, August 26–30, 2013), Proceedings, Lecture Notes in Computer Science, 8087, Springer, Berlin–Heidelberg, 2013, 516–527 http://eccc.hpi-web.de/report/2013/021/ (cited: 2) (cited: 4)
145.	S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, Description Logics 2013, Informal Proceedings of the 26th International Workshop on Description Logics (Ulm, Germany, July 23–26, 2013), CEUR Workshop Proceedings, 1014, 2013, 316–327 (cited: 4)
146.	K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. Tsigaridas, “Patience of matrix games”, Discrete Appl. Math., 161:16 (2013), 2440–2459
147.	S. Kuznetsov, “Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives”, Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013, Proceedings, Lecture Notes in Comput. Sci., 8036, Springer, Berlin, 2013, 242–249 (cited: 5)

2012
148.	O. Beyersdorff, N. Galesi, M. Lauria, A. A. Razborov, “Parameterized bounded-depth Frege is not optimal”, ACM Transactions on Computation Theory, 4:3 (2012), 7 , 16 pp. (cited: 11)
149.	H. Hatami, J. Hladký, D. Král, S. Norin, A. Razborov, “Non-three-colourable common graphs exist”, Combin. Probab. Comput., 21:5 (2012), 734–742 (cited: 15) (cited: 8) (cited: 18)
150.	А. А. Разборов, Коммуникационная сложность, МЦНМО, 2012 с сайта МЦНМО
151.	С. И. Адян, “О методе нахождения точных оценок длин выводов в системах Туэ”, Матем. заметки, 92:1 (2012), 3–18 ; S. I. Adian, “On a method for proving exact bounds on derivational complexity in Thue systems”, Math. Notes, 92:1 (2012), 3–15
152.	L. D. Beklemishev, “Calibrating provability logic: from modal logic to reflection calculus”, Advances in Modal Logic, 9, eds. T. Bolander, T. Braüner, S. Ghilardi, L. Moss, College Publications, London, 2012, 89–94
153.	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
154.	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. Karhumäki, A. Lepistö, M. Prilutskii, Springer, 2012, XIII–XIV
155.	M. Bucher, A. Talambutsa, Exponential growth rates of free and amalgamated products, Report No. 36, 2011/2012, spring, Institut Mittag-Leffler, Swedish Royal Academy of Science, Djursholm, 2012 , 17 pp. IML-1112s-36.pdf
156.	V. V. Podolskii, “Exponential lower bound for bounded depth circuits with few threshold gates”, Inform. Process. Lett., 112:7 (2012), 267–271 (cited: 4) (cited: 1) (cited: 5)
157.	V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, How the World Computes, Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 (Cambridge, UK, June 18–23, 2012), Proceedings, Lecture Notes in Comput. Sci., 7318, Springer–Berlin–Heidelberg, 2012, 599–608 , arXiv: 1204.2652
158.	K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. P. Tsigaridas, Patience of matrix games, 2012 , 32 pp., arXiv: 1206.1751
159.	S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev, “Exponential lower bounds and separation for query rewriting”, Automata, Languages, and Programming, 39th International Colloquium, ICALP 2012 (Warwick, UK, July 9–13, 2012), Proceedings, Part II, Lecture Notes in Comput. Sci., 7392, Springer Berlin Heidelberg, 2012, 263–274 , arXiv: 1202.4193 (cited: 13) (cited: 11) (cited: 29)
160.	Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160 (цит.: 3) (цит.: 4) (цит.: 1); F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229 (cited: 4) (cited: 2) (cited: 2)
161.	S. Kuznetsov, “L-completeness of the Lambek calculus with the reversal operation”, Logical aspects of computational linguistics, Lecture Notes in Comput. Sci., 7351, Springer, Heidelberg, 2012, 151–160 (cited: 1)
162.	S. Kuznetsov, “Lambek grammars with the unit”, Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers, Lecture Notes in Comput. Sci., 7395, Springer, Berlin, 2012, 262–266 (cited: 2)
163.	S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221 (cited: 1) (cited: 5)
164.	С. Л. Кузнецов, Категориальные грамматики, основанные на вариантах исчисления Ламбека, Дисс. … канд. физ.-матем. наук, МГУ имени М. В. Ломоносова, М., 2012 , 70 с. полный текст (PDF), автореферат (PDF), English translation (PDF), English summary (PDF)

2011
165.	O. Beyersdorff, N. Galesi, M. Lauria, A. Razborov, “Parameterized bounded-depth Frege is not optimal”, Automata, languages and programming, Part I, Lecture Notes in Comput. Sci., 6755, Springer, Heidelberg, 2011, 630–641 (cited: 3)
166.	Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200 ; 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
167.	А. А. Разборов, “Об интерпретации Фон-Дер-Флаасса экстремальных примеров для $(3,4)$-проблемы Турана”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 269–290 (цит.: 5) (цит.: 6) ; Alexander A. Razborov, “On the Fon-Der-Flaass interpretation of extremal examples for Turán's $(3,4)$-problem”, Proc. Steklov Inst. Math., 274 (2011), 247–266 (cited: 6) (cited: 7)
168.	J. Nordström, A. Razborov, “On minimal unsatisfiability and time-space trade-offs for $k$-DNF resolution”, Automata, languages and programming. Part I, 38th International Colloquium, ICALP 2011 (Zurich, Switzerland, July 4–8, 2011), Lecture Notes in Computer Science, 6755, eds. Luca Aceto, Monika Henzinger, Jiri Sgall, Springer, Heidelberg, 2011, 642–653 (cited: 1)
169.	M. Alekhnovich, A. Razborov, “Satisfiability, branch-width and Tseitin tautologies”, Comput. Complexity, 20:4 (2011), 649–678 (cited: 7) (cited: 3) (cited: 10)
170.	A. Borodin, T. Pitassi, A. Razborov, “Special Issue In Memory of Misha Alekhnovich. Foreword”, Computational Complexity, 20:4 (2011), 579–590
171.	И. Г. Лысенок, А. Г. Мясников, “Полиномиальная оценка решений квадратичных уравнений в свободных группах”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 148–190 (цит.: 3) ; Igor G. Lysenok, Alexei G. Myasnikov, “A polynomial bound on solutions of quadratic equations in free groups”, Proc. Steklov Inst. Math., 274 (2011), 136–173 (cited: 2) (cited: 3)
172.	S. Adian, L. Beklemishev, A. Visser, “Proof and Computation”, J. Logic Computation, 21:4 (2011), 541–542
173.	П. С. Новиков, С. И. Адян, “Об одной полунепрерывной функции”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 10–14 ; П. С. Новиков, С. И. Адян, “Об одной полунепрерывной функции”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Proc. Steklov Inst. Math., Тр. МИАН, 274, МАИК, М., 2011, 10–14
174.	Г. С. Маканин, “Параметризация решений уравнения $x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1$ в свободном моноиде”, Матем. заметки, 89:6 (2011), 879–884 (цит.: 1) (цит.: 1) (цит.: 1); G. S. Makanin, “Parametrization of the Solutions of the Equation $x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1$ in a Free Monoid”, Math. Notes, 89:6 (2011), 839–844 (cited: 1)
175.	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
176.	Л. Д. Беклемишев, “Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLP”, Тр. МИАН, 274, 2011, 32–40 (цит.: 9) (цит.: 9) (цит.: 2); L. D. Beklemishev, “A simplified proof of arithmetical completeness theorem for provability logic GLP”, Proc. Steklov Inst. Math., 274:1 (2011), 25–33 (cited: 9) (cited: 3) (cited: 6)
177.	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.
178.	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 (cited: 5) (cited: 5)
179.	Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, ред. Л. Д. Беклемишев, Е. Ф. Мищенко, МАИК «Наука/Интерпериодика», М., 2011 , 351 с.
180.	Л. Д. Беклемишев, “Предисловие”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 7–9 ; L. D. Beklemishev, “Foreword”, Proc. Steklov Inst. Math., 274 (2011), 1–3 (cited: 10) (cited: 10)
181.	А. Л. Таламбуца, “О достижимости минимального показателя роста свободных произведений циклических групп”, УМН, 66:1(397) (2011), 179–180 ; A. L. Talambutsa, “On the attainability of the minimal growth exponent of free products of cyclic groups”, Russian Math. Surveys, 66:1 (2011), 179–180
182.	А. Л. Таламбуца, “О достижимости минимального показателя экспоненциального роста свободных произведений конечных циклических групп”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 314–328 (цит.: 2) (цит.: 2) ; A. L. Talambutsa, “Attainability of the minimal exponential growth rate for free products of finite cyclic groups”, Proc. Steklov Inst. Math., 274 (2011), 289–302 (cited: 2) (cited: 1) (cited: 2)
183.	В. В. Подольский, “Однородная по степени нижняя оценка на веса многочленов с заданной знаковой функцией”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 252–268 (цит.: 1) (цит.: 1) ; Vladimir V. Podolskii, “Degree-uniform lower bound on the weights of polynomials with given sign function”, Proc. Steklov Inst. Math., 274 (2011), 231–246 (cited: 1) (cited: 1)
184.	Д. С. Шамканов, “Интерполяционные свойства логик доказуемости GL и GLP”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 329–342 (цит.: 3) (цит.: 2) (цит.: 2); Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316 (cited: 2)
185.	D. S. Shamkanov, “Strong normalization and confluence for reflexive combinatory logic”, Logic, language, information and computation, 18th international workshop, WoLLIC 2011 (Philadelphia, PA, USA, May 18–20, 2011), Proceedings, Lecture Notes in Computer Science, 6642, eds. L. D. Beklemishev et al., Springer, Berlin, 2011, 228–238
186.	С. Л. Кузнецов, “Об исчислении Ламбека с единицей и одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, № 4, 55–57 ; S. L. Kuznetsov, “On the Lambek calculus with a unit and one division”, Moscow University Math. Bull., 66:4 (2011), 173–175 (cited: 3)