ИСТИНА

Кузнецов Степан Львович пользователь

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

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

Соавторы: Scedrov A., Канович М.И., Nigam V., Morrill G., Speranski S.O., Дудаков С.М., Рыжкова Н.С., Fofanova E.M., Karlov B.N., Канунников А.Л., Карлов Б.Н., Луговая В.Н., Оноприенко А.А. показать полностью..., Осипов И.И., Рыжова А.А., Стрелкова Н.П.

52 статьи, 3 книги, 31 доклад на конференциях, 2 тезисов докладов, 8 НИР, 1 награда, 7 членств в программных комитетах, 1 диссертация, 8 дипломных работ, 7 учебных курсов

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

IstinaResearcherID (IRID): 1841551

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

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

  • • 2022 Commutative action logic
    • Kuznetsov Stepan L.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom) DOI
  • • 2022 Infinitary Action Logic with Multiplexing
    • Kuznetsov Stepan L., Speranski Stanislav O.
    • в журнале Studia Logica, издательство Springer Nature (Switzerland) DOI
  • • 2022 Infinitary action logic with exponentiation
    • Kuznetsov Stepan L., Speranski Stanislav O.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 173, № 2 DOI
  • • 2022 Language models for some extensions of the Lambek calculus
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в журнале Information and Computation, издательство Academic Press (United States), том 287 DOI
  • 
    • 2021 Action Logic is Undecidable
    • Kuznetsov Stepan
    • в журнале ACM Transactions on Computational Logic, издательство Association for Computing Machinery, Inc. (United States), том 22, № 2, с. 1-26 DOI
  • 
    • 2021 Complexity of Lambek Calculi with Modalities and of Total Derivability in Grammars
    • Dudakov S.M., Karlov B.N., Kuznetsov S.L., Fofanova E.M.
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 60, № 5, с. 308-326 DOI
  • 
    • 2021 Kleene star, subexponentials without contraction, and infinite computations
    • Kuznetsov S.L.
    • в журнале Сибирские электронные математические известия, том 18, № 2, с. 905-922 DOI
  • 
    • 2021 The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в журнале Journal of Logic, Language and Information, издательство Springer Nature (Switzerland), том 30, № 1, с. 31-88 DOI
  • • 2021 Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках
    • Дудаков С.М., Карлов Б.Н., Кузнецов С.Л., Фофанова Е.М.
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 60, № 5, с. 471-496
  • 
    • 2020 A restricted fragment of the Lambek calculus with iteration and intersection operations
    • Kuznetsov S.L., Ryzhkova N.S.
    • в журнале Algebra and Logic, издательство Consultants Bureau (United States), том 59, № 2, с. 129-146 DOI
  • • 2020 Complexity of the infinitary Lambek calculus with Kleene star
    • Kuznetsov Stepan
    • в журнале Review of Symbolic Logic, том 14, № 4, с. 946-972 DOI
  • 
    • 2020 Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 30, № 1, с. 239-256 DOI
  • • 2020 Ограниченный фрагмент исчисления Ламбека с операциями итерации и пересечения
    • Кузнецов С.Л., Рыжкова Н.С.
    • в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 59, № 2, с. 190-214 DOI
  • 
    • 2019 Craig's trick and a non-sequential system for the Lambek calculus and its fragments
    • Kuznetsov Stepan, Lugovaya Valentina, Ryzhova Anastasiia
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 27, № 3, с. 252-266 DOI
  • 
    • 2019 Subexponentials in non-commutative linear logic
    • Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
    • в журнале Mathematical Structures in Computer Science, издательство Cambridge University Press (United Kingdom), том 29, № 8, с. 1217-1249 DOI
  • • 2019 Еще раз о полуправильных многогранниках
    • Кузнецов Степан
    • в журнале Квант, издательство Квант (М.), № 3, с. 29-31 DOI
  • • 2017 Знание — сила!
    • Кузнецов Степан
    • в журнале Квант, издательство Квант (М.), № 6, с. 21-24
  • • 2017 Птичка вылетает!
    • Кузнецов Степан
    • в журнале Квантик, № 2, с. 10-11
  • • 2017 Расстояния на сфере
    • Кузнецов Степан
    • в журнале Квант, издательство Квант (М.), № 4, с. 36-38
  • • 2017 Теорема Шаля в трех лицах (часть 1)
    • Кузнецов Степан
    • в журнале Квант, издательство Квант (М.), № 9, с. 10-14
  • • 2017 Теорема Шаля в трех лицах (часть 2)
    • Кузнецов Степан
    • в журнале Квант, издательство Квант (М.), № 10, с. 2-10
  • 
    • 2016 On translating Lambek grammars with one division into context-free grammars
    • Kuznetsov S.L.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 294, с. 129-138 DOI
  • • 2016 О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики
    • Кузнецов С.Л.
    • в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 294, с. 141-151 DOI
  • 
    • 2015 On Translating Context-Free Grammars into Lambek Grammars
    • Kuznetsov S.L.
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 290, с. 63-69 DOI
  • • 2015 О преобразовании контекстно-свободных грамматик в грамматики Ламбека
    • Кузнецов С.Л.
    • в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 290, с. 72-79 DOI
  • 
    • 2014 Trivalent logics arising from L-models for the Lambek calculus with constants
    • Kuznetsov S.L.
    • в журнале Journal of Applied Non-classical logics, том 14, № 1-2, с. 132-137 DOI
  • 
    • 2012 Lambek grammars with one division and one primitive type
    • Kuznetsov S.
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 20, № 1, с. 207-221 DOI
  • • 2011 Об исчислении Ламбека с единицей и одним делением
    • Кузнецов С.Л.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 58-61
  • • 2009 Об исчислении Ламбека с одним делением и одним примитивным типом, допускающем пустые антецеденты
    • Кузнецов С.Л.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 63-65

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

  • • 2022 Decidable Fragments of Calculi Used in CatLog
    • Kanovich Max I., Kuznetsov Stepan G., Kuznetsov Stepan L., Scedrov Andre
    • в сборнике Natural Language Processing in Artificial Intelligence — NLPinAI 2021, серия Studies in Computational Intelligence (SCI), издательство Springer International Publishing AG (Cham, Switzerland), том 999, с. 1-24 DOI
  • • 2022 Non-associative, Non-commutative Multi-modal Linear Logic
    • Blaisdell Eben, Kanovich Max, Kuznetsov Stepan L., Pimentel Elaine, Scedrov Andre
    • в сборнике Automated Reasoning, 11th International Conference, IJCAR 2022, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 13385, с. 449-467 DOI
  • • 2022 Reasoning in commutative Kleene algebras from *-free hypotheses, Logica Yearbook 2021, College Publications, London, 2022, 99–113
    • Kuznetsov Stepan L.
    • в сборнике The Logica Yearbook 2021, серия The Logica Yearbook, место издания College Publications London, с. 99-113
  • 
    • 2021 Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs
    • Kuznetsov Stepan L.
    • в сборнике Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12842, с. 317-334 DOI
  • 
    • 2021 Relational Models for the Lambek Calculus with Intersection and Unit
    • Kuznetsov Stepan L.
    • в сборнике Relational and Algebraic Methods in Computer Science - RAMiCS 2021, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 13027, с. 258-274 DOI
  • 
    • 2020 A Π^0_1-bounded fragment of infinitary action logic with exponential
    • Kuznetsov Stepan L.
    • в сборнике Logic, Language, and Security, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12300, с. 3-16 DOI
  • 
    • 2020 Soft subexponentials and multiplexing
    • Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
    • в сборнике Automated Reasoning, 10th International Conference, IJCAR 2020, серия Lecture Notes in Computer Science, место издания Springer Cham, том 12166, с. 500-517 DOI
  • • 2020 The long rule in the Lambek calculus with iteration: undecidability without meets and joins
    • Kuznetsov Stepan
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 425-440
  • 
    • 2019 L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в сборнике WoLLIC 2019: Logic, Language, Information, and Computation, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11541, с. 373-391 DOI
  • 
    • 2019 The complexity of multiplicative-additive Lambek calculus: 25 years later
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в сборнике WoLLIC 2019: Logic, Language, Information, and Computation, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11541, с. 356-372 DOI
  • 
    • 2019 Undecidability of a Newly Proposed Calculus for CatLog3
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в сборнике Formal Grammar, 24th International Conference, FG 2019, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 11668, с. 67-83 DOI
  • • 2018 *-continuity vs. induction: divide and conquer
    • Kuznetsov S.L.
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 12
  • 
    • 2018 A logical framework with commutative and non-commutative subexponentials
    • Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
    • в сборнике Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, серия Lecture Notes in Artificial Intelligence, место издания Springer, том 10900, с. 228-245 DOI
  • 
    • 2018 Bracket induction for Lambek calculus with bracket modalities
    • Morrill Glyn, Kuznetsov Stepan, Kanovich Max, Scedrov Andre
    • в сборнике Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings, серия Lecture Notes in Computer Science, издательство Springer (New York), том 10950, с. 84-101 DOI
  • 
    • 2017 A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
    • Kanovich Max, Kuznetsov Stepan, Morrill Glyn, Scedrov Andre
    • в сборнике 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, September 3–9, 2017), серия Leibniz International Proceedings in Informatics, место издания Schloss Dagstuhl–Leibniz-Zentrum für Informatik Dagstuhl, том 84, с. 22:1-22:17 DOI
  • 
    • 2017 The Lambek calculus with iteration: two variants
    • Stepan Kuznetsov
    • в сборнике Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 10388, с. 182-198 DOI
  • 
    • 2017 Undecidability of the Lambek calculus with subexponential and bracket modalities
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в сборнике Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 10472, с. 326-340 DOI
  • 
    • 2016 On Lambek's restriction in the presence of exponential modalities
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 146-158 DOI
    • редактор Артемов Сергей Николаевич
  • 
    • 2016 Undecidability of the Lambek calculus with a relevant modality
    • Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • в сборнике Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9804, с. 240-256 DOI
  • 
    • 2014 L-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
    • Kuznetsov S.L.
    • в сборнике Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 8222, с. 268-278 DOI
  • 
    • 2013 Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
    • Kuznetsov S.
    • в сборнике Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Dusseldorf, Germany, August 2013. Proceedings, серия Lecture Notes in Computer Science, место издания Springer Berlin, том 8036, с. 242-249 DOI
  • 
    • 2012 L-completeness of the Lambek calculus with the reversal operation
    • Kuznetsov S.
    • в сборнике Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 7351, с. 151-160 DOI
  • 
    • 2012 Lambek grammars with the unit
    • Kuznetsov S.
    • в сборнике 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 Computer Science, место издания Springer, том 7395, с. 262-266 DOI

• Книги

  • • 2017 Математический кружок (6-7 классы, 1-е полугодие)
    • Стрелкова Н.П., Кузнецов С.Л.
    • издательство Изд-во Моск. ун-та (М.) , 71 с.
  • • 2017 Математический кружок (6-7 классы, 2-е полугодие)
    • Кузнецов С.Л., Оноприенко А.А.
    • издательство Изд-во Моск. ун-та (М.) , 91 с.
  • • 2015 Математический кружок (5-6 классы, 1-е полугодие)
    • Канунников А.Л., Кузнецов С.Л., Осипов И.И.
    • издательство Изд-во Моск. ун-та (М.) , 67 с.

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

  • • 2022 Kleene star in substructural logics (Приглашенный)
    • Автор: Кузнецов Степан Львович
    • Fourth Workshop on Digitalization and Computable Models WDCM-2022, Россия, 24-29 октября 2022
  • • 2022 Non-associative, non-commutative multi-modal linear logic (Устный)
    • Авторы: Blaisdell Eben, Kanovich Max, Kuznetsov Stepan, Pimentel Elaine, Scedrov Andre
    • 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Хайфа, Израиль, 8-10 августа 2022
  • • 2021 Complexity of the Lambek Calculus and Its Extensions (Приглашенный)
    • Автор: Кузнецов Степан Львович
    • Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Монпелье, Франция, 15-17 декабря 2021
  • • 2021 Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениями (Устный)
    • Автор: Кузнецов Степан Львович
    • Математические основы информатики и информационно-коммуникационных систем., Тверь., Россия, 3-8 декабря 2021
  • • 2021 Complexity of Logics with Kleene Star (Приглашенный)
    • Автор: Кузнецов Степан Львович
    • 3rd Workshop on Proof Theory and its Applications, Фуншал, Мадейра, Португалия, 2-4 декабря 2021
  • • 2021 Relational Models for the Lambek calculus with Intersection and Unit (Устный)
    • Автор: Кузнецов Степан Львович
    • 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Марсель, Франция, 2-6 ноября 2021
  • • 2021 Reasoning in Commutative Kleene Algebras from *-free Hypotheses (Устный)
    • Автор: Кузнецов Степан Львович
    • Logica 2021 Conference, Хейнице, Чехия, 28 сентября - 1 октября 2021
  • • 2021 О сложности некоммутативных субструктурных логик с одной переменной (Устный)
    • Авторы: Канович Макс Иосифович, Кузнецов Степан Львович, Щедров Андрей Олегович
    • Мальцевские чтения 2021, Новосибирск, Россия, 20-24 сентября 2021
  • • 2021 Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-Well-Founded Proofs (Устный)
    • Автор: Кузнецов Степан Львович
    • 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2021, Бирмингем, Великобритания, 6-9 сентября 2021
  • • 2021 Complexity of Theories for Structures with Kleene Star (Устный)
    • Автор: Кузнецов Степан Львович
    • Конференция международных математических центров мирового уровня, Сочи, Россия, 6-13 августа 2021
  • • 2021 Infinitary action logic with exponentiation (Устный)
    • Авторы: Кузнецов Степан Львович, Сперанский Станислав Олегович
    • Logical Perspectives 2021: Summer School and Workshop, Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Россия, 14-19 июня 2021
  • • 2020 Фрагмент исчисления Ламбека с релевантной модальностью (Устный)
    • Авторы: Дудаков С.М., Карлов Б.Н., Кузнецов С.Л.
    • Мальцевские чтения 2020, Новосибирск, Россия, 16-19 ноября 2020
  • • 2020 The long rule in the Lambek calculus with iteration: undecidability without meets and joins (Устный)
    • Автор: Kuznetsov Stepan
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
  • • 2020 Soft subexponentials and multiplexing (Устный)
    • Авторы: Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre
    • 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Париж, Франция, 29 июня - 6 июля 2020
  • • 2019 Complexity of action logic (Приглашенный)
    • Автор: Kuznetsov Stepan
    • Logic and Applications 2019, Дубровник, Хорватия, 23-27 сентября 2019
  • • 2019 Undecidability of a newly proposed calculus for CatLog3 (Пленарный)
    • Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • Formal Grammar 2019, Рига, Латвия, 11 августа 2019
  • • 2019 L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit (Пленарный)
    • Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • WoLLIC 2019, Утрехт, Нидерланды, 2-5 июля 2019
  • • 2019 The complexity of multiplicative-additive Lambek calculus: 25 years later (Пленарный)
    • Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
    • WoLLIC 2019, Утрехт, Нидерланды, 2-5 июля 2019
  • • 2019 The logic of action lattices is undecidable (Пленарный)
    • Автор: Kuznetsov Stepan
    • 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Ванкувер, Канада, 24-27 июня 2019
  • • 2018 Induction Principles in Residuated Kleene Structures (Устный)
    • Автор: Kuznetsov Stepan
    • Formal Philosophy: The 1st International Conference, Национальный исследовательский университет Высшая школа экономики, Россия, 1-2 октября 2018
  • • 2018 *-continuity vs. induction: divide and conquer (Пленарный)
    • Автор: Stepan Kuznetsov
    • Advances in Modal Logic (AiML 2018), Берн, Швейцария, 27-31 августа 2018
  • • 2018 Bracket induction for the Lambek calculus with bracket modalities (Пленарный)
    • Авторы: Kanovich Max, Kuznetsov Stepan, Morrill Glyn, Scedrov Andre
    • Formal Grammar 2018, София, Болгария, 11-12 августа 2018
  • • 2018 A logical framework with commutative and non-commutative subexponentials (Пленарный)
    • Авторы: Kanovich Max, Scedrov Andre, Nigam Vivek, Kuznetsov Stepan
    • 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Оксфорд, Великобритания, 14-17 июля 2018
  • • 2017 Iteration in residuated structures (Приглашенный)
    • Автор: Kuznetsov Stepan
    • Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles), Steklov Mathematical Institute, Moscow, Russia, Россия, 17-20 октября 2017
  • • 2017 Undecidability of the Lambek calculus with subexponential and bracket modalities (Пленарный)
    • Авторы: Kanovich Max, Scedrov Andre, Kuznetsov Stepan
    • Fundamentals of Computation Theory (FCT 2017), Бордо, Франция, 11-13 сентября 2017
  • • 2017 A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Пленарный)
    • Авторы: Morrill Glyn, Scedrov Andre, Kuznetsov Stepan, Kanovich Max
    • 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Оксфорд, Великобритания, 3-7 сентября 2017
  • • 2017 The Lambek calculus with iteration: two variants (Пленарный)
    • Автор: Stepan Kuznetsov
    • WoLLIC 2017, London, Великобритания, 17 июля - 22 декабря 2017
  • • 2017 Conjunctive categorial grammars (Пленарный)
    • Авторы: Alexander Okhotin, Stepan Kuznetsov
    • 15th Meeting on the Mathematics of Language, Лондон, Великобритания, 13-14 июля 2017
  • • 2017 Count-invariance including exponentials (Пленарный)
    • Авторы: Valentin Oriol, Morrill Glyn, Kuznetsov Stepan
    • 15th Meeting on the Mathematics of Language, Лондон, Великобритания, 13-14 июля 2017
  • • 2015 Фрагмент исчисления Ламбека с итерацией (Устный)
    • Авторы: Рыжкова Надежда Сергеевна, Кузнецов Степан Львович
    • Мальцевские чтения 2015г, Новосибирск, Россия, 3-7 мая 2015
  • • 2014 On translating context-free grammars into Lambek categorial grammars (Устный)
    • Автор: Кузнецов Степан Львович
    • Natural Language and Computer Science 2014 (Vienna Summer of Logic), Вена, Австрия, Австрия, 2014

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

  • • 2021 Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениями
    • Кузнецов С.Л.
    • в сборнике Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов, издательство Тверской государственный университет (Тверь), тезисы, с. 176-180 DOI
  • • 2019 The logic of action lattices is undecidable
    • Kuznetsov Stepan
    • в сборнике Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, место издания IEEE, тезисы DOI

• НИРы

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

• Награды и премии

  • • 2021 Медаль РАН с премией для молодых учёных России
    • Лауреат: Кузнецов Степан Львович
    • Российская академия наук, Россия

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

  • • 13-16 февраля 2023 Computer Science Logic 2023
    • Член программного комитета
    • Варшава, Польша
  • • 6-9 сентября 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2021
    • Член программного комитета
    • Бирмингем, Великобритания
  • • 7-11 июня 2021 Logical Perspectives 2021
    • Член организационного комитета
    • Москва, Россия
  • • 11 августа 2019 Formal Grammar 2019
    • Член программного комитета
    • Рига, Латвия
  • • 11-12 августа 2018 Formal Grammar 2018
    • Член программного комитета
    • София, Болгария
  • • 17-20 октября 2017 Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles)
    • Член организационного комитета
    • Steklov Mathematical Institute, Moscow, Russia, Россия
  • • 22-23 июля 2017 Formal Grammar 2017
    • Член программного комитета
    • Тулуза, Франция

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

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

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

  • • 2022 Сложность и семантика для исчисления Ламбека с модальностью локального сокращения
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Валинкин Михаил Валерьевич (Специалист)
  • • 2022 О грамматиках Ламбека с операциями обобщённого поднятия типа
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Святкин Иван Леонидович (Специалист)
  • • 2021 Базовые категориальные грамматики с однозначным присвоением типов и иерархия Хомского
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Вишникин Максим Евгеньевич (Специалист)
  • • 2021 Автоматизация решения некоторых синтаксических задач для исчисления Ламбека
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Миляева Анастасия Романовна (Специалист)
  • • 2019 Алгоритмическая разрешимость фрагмента исчисления Ламбека с экспоненциальной модальностью
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Фофанова Евгения Максимовна (Специалист)
  • • 2017 Теоретико-доказательственные свойства исчисления Ламбека и его фрагментов
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Рыжова Анастасия Александровна (Специалист)
  • • 2017 Сети доказательства для одного расширения исчисления Ламбека одноместной связкой
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Гордиенко Светлана Александровна (Специалист)
  • • 2017 Свойства некоторых расширений исчисления Ламбека
    • Научный руководитель: Кузнецов Степан Львович
    • Автор: Луговая Валентина Николаевна (Специалист)

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

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

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

  • • 7 февраля 2023 - 31 мая 2023 Математическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2022 - 20 сентября 2022 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 18 часов
  • • 7 февраля 2022 - 31 мая 2022 Математическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2021 - 20 декабря 2021 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 18 часов
  • • 1 сентября 2020 - 20 декабря 2020 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 18 часов
  • • 7 февраля 2020 - 31 мая 2020 Математическая логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 7 февраля 2020 - 31 мая 2020 Категориальные грамматики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 10 часов
  • • 1 сентября 2019 - 19 декабря 2019 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 18 часов
  • • 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2018 - 19 декабря 2018 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 18 часов
  • • 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2017 - 19 декабря 2017 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 18 часов
  • • 1 сентября 2016 - 20 декабря 2016 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2016 - 19 декабря 2016 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 16 часов
  • • 15 февраля 2016 - 31 мая 2016 Категориальные грамматики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 12 часов
  • • 1 сентября 2015 - 31 мая 2016 Просеминар по математической логике и информатике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • факультативная, семинары, 23 часов
  • • 1 сентября 2015 - 19 декабря 2015 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2015 - 19 декабря 2015 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 16 часов
  • • 1 сентября 2014 - 19 декабря 2014 Практикум по математической логике. COQ.
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, практические занятия, 34 часов
  • • 1 сентября 2014 - 19 декабря 2014 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов