Stepan Kuznetsov's homepage

Born on June 30, 1988
C. Sc. (≈ Ph. D.) in Physics and Mathematics since 2012, Lomonosov Moscow State University
Dr. Sc. (≈ habilitation) in Physics and Mathematics since 2024, Steklov Mathematical Institute of RAS
Leading scientific researcher at Steklov Mathematical Institute, Russian Academy of Sciences
Teaching at: Lomonosov Moscow State University (Mathematical Logic) · HSE University (Computer Science)
My Erdős number is 3:
Erdős → Blass → Scedrov → me.

“Complexity of reasoning in Kleene and action algebras” (5 lectures), ESSLLI 2022 in Galway.
“Logic II” (LGIC 320 / MATH 571), University of Pennsylvania, Spring 2017.
“Lambek categorial grammars” (5 lectures), ESSLLI 2015 in Barcelona.

(personal blog; mostly in Russian, with fragments in other languages)

Primary research interest: substructural logic with application to linguistics; infinitary, non-well-founded and circular proofs.

(2024) S.L. Kuznetsov, T. Pshenitsyn, S.O. Speranski. Reasoning from hypotheses in *-continuous action lattices. [arXiv:2408.02118]

(2024) S.L. Kuznetsov. Algorithmic complexity for theories of commutative Kleene algebras. Izv. Math. 88(2):236–269.
(2022) M. Kanovich, S. Kuznetsov, A. Scedrov. Language models for some extensions of the Lambek calculus. Inform. Comput. 287:104760. [arXiv:2008.00070]
(2022) S.L. Kuznetsov, S.O. Speranski. Infinitary action logic with exponentiation. Ann. Pure Appl. Logic 173(2):103057. [arXiv:2001.06863]
(2021) S. Kuznetsov. Action logic is undecidable. ACM Trans. Comput. Logic 22(2):10. [arXiv:1912.11273]
(2021) S. Kuznetsov. Complexity of the infinitary Lambek calculus with Kleene star. Rev. Symb. Logic 14(4):946–972. [arXiv:2005.00404]
(2019) M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov. Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. 29(8):1217–1249. [arXiv:1709.03607]

(2024) Algorithmic questions for substructural logics with Kleene iteration [Алгоритмические вопросы для субструктурных логик с итерацией Клини], Dr.Sc. dissertation (Habilitationsschrift), Steklov Mathematical Institute, in Russian. [full text, .pdf] [summary, .pdf]
(2012) Categorial grammars based on variants of the Lambek calculus [Категориальные грамматики, основанные на вариантах исчисления Ламбека], C.Sc. (PhD) thesis, Moscow State University. [Russian text, .pdf] [Russian summary, .pdf] [English translation, .pdf] [English summary, .pdf]

Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств) (МГУ, мехмат)
Discrete mathematics for algorithm and software design (HSE University, Computer Science)