Stepan L. Kuznetsov, “Syntactic concept lattice models for infinitary action logic”, Lecture Notes in Comput. Sci., 14672 (2024), 93–107
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
S. Kuznetsov, “Action logic is undecidable”, ACM Trans. Comput. Log., 22:2 (2021), 10
S. L. Kuznetsov, “Relational models for the lambek calculus with intersection and unit”, Relational and Algebraic Methods in Computer Science (Ramics 2021), Lecture Notes in Computer Science, 13027, eds. U. Fahrenberg, M. Gehrke, L. Santocanale, M. Winter, Springer, 2021, 258–274
Stepan Kuznetsov, “Complexity of Commutative Infinitary Action Logic”, Lecture Notes in Comput. Sci., 12569 (2020), 155–169