A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, Moscow University Måchanics Bulletin, 80:1 (2025), 23–33
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39
Igor Sedlár, “Implicational Kleene algebra with domain and the substructural logic of partial correctness”, Math. Struct. Comp. Sci., 2024, 1
Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Stepan L. Kuznetsov, “On the complexity of reasoning in Kleene algebra with commutativity conditions”, Lecture Notes in Comput. Sci., 14446 (2023), 83–99
Igor Sedlár, Johann J. Wannenburg, Lecture Notes in Computer Science, 13468, Logic, Language, Information, and Computation, 2022, 221
Stepan L. Kuznetsov, “Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs”, Lecture Notes in Comput. Sci., 12842 (2021), 317–334
Stepan Lvovich Kuznetsov, Matematicheskie osnovy informatiki i informatsionno-kommunikatsionnykh sistem, 2021, 176