Lambek Grammars with the Unit. - Stepan L. Kuznetsov (FG, 2011)

L-Completeness of the Lambek Calculus with the Reversal Operation. - Stepan L. Kuznetsov (LACL, 2012)

Lambek grammars with one division and one primitive type. - Stepan L. Kuznetsov (Log. J. IGPL, 2012)

Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives. - Stepan L. Kuznetsov (FG, 2013)

L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. - Stepan L. Kuznetsov (Categories and Types in Logic, Language, and Physics, 2014)

Undecidability of the Lambek Calculus with a Relevant Modality. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (FG, 2016)

On Lambek's Restriction in the Presence of Exponential Modalities. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (LFCS, 2016)

Undecidability of the Lambek calculus with subexponentials and bracket modalities. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (CoRR, 2016)

Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (FCT, 2017)

Count-Invariance Including Exponentials. - Stepan L. Kuznetsov; Glyn Morrill; Oriol Valentín (MOL, 2017)

Conjunctive Categorial Grammars. - Stepan L. Kuznetsov; Alexander Okhotin (MOL, 2017)

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. - Max I. Kanovich; Stepan L. Kuznetsov; Glyn Morrill; Andre Scedrov (FSCD, 2017)

The Lambek Calculus with Iteration: Two Variants. - Stepan L. Kuznetsov (WoLLIC, 2017)

Eliminating the unit constant in the Lambek calculus with brackets. - Stepan L. Kuznetsov (CoRR, 2017)

*-Continuity vs. Induction: Divide and Conquer. - Stepan L. Kuznetsov (Advances in Modal Logic, 2018)

A Logical Framework with Commutative and Non-commutative Subexponentials. - Max I. Kanovich; Stepan L. Kuznetsov; Vivek Nigam; Andre Scedrov (IJCAR, 2018)

Bracket Induction for Lambek Calculus with Bracket Modalities. - Glyn Morrill; Stepan L. Kuznetsov; Max I. Kanovich; Andre Scedrov (FG, 2018)

Undecidability of a Newly Proposed Calculus for CatLog3. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (FG, 2019)

The Logic of Action Lattices is Undecidable. - Stepan L. Kuznetsov (LICS, 2019)

The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (WoLLIC, 2019)

L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (WoLLIC, 2019)

Craig's trick and a non-sequential system for the Lambek calculus and its fragments. - Stepan L. Kuznetsov; Valentina Lugovaya; Anastasiia Ryzhova (Log. J. IGPL, 2019)

Subexponentials in non-commutative linear logic. - Max I. Kanovich; Stepan L. Kuznetsov; Vivek Nigam; Andre Scedrov (Math. Struct. Comput. Sci., 2019)

The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. - Stepan L. Kuznetsov (AiML, 2020)

A $ varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential. - Stepan L. Kuznetsov (Logic, Language, and Security, 2020)

Soft Subexponentials and Multiplexing. - Max I. Kanovich; Stepan L. Kuznetsov; Vivek Nigam; Andre Scedrov (IJCAR (1), 2020)

Complexity of Commutative Infinitary Action Logic. - Stepan L. Kuznetsov (DaLí, 2020)

Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (J. Log. Comput., 2020)

Relational Models for the Lambek Calculus with Intersection and Unit. - Stepan L. Kuznetsov (RAMiCS, 2021)

Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. - Stepan L. Kuznetsov (TABLEAUX, 2021)

The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (J. Log. Lang. Inf., 2021)

Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (J. Log. Lang. Inf., 2021)

Complexity of the Infinitary Lambek Calculus with Kleene Star. - Stepan L. Kuznetsov (Rev. Symb. Log., 2021)

Action Logic is Undecidable. - Stepan L. Kuznetsov (ACM Trans. Comput. Log., 2021)

Non-associative, Non-commutative Multi-modal Linear Logic. - Eben Blaisdell; Max I. Kanovich; Stepan L. Kuznetsov; Elaine Pimentel; Andre Scedrov (IJCAR, 2022)

Infinitary action logic with exponentiation. - Stepan L. Kuznetsov; Stanislav O. Speranski (Ann. Pure Appl. Log., 2022)

Language models for some extensions of the Lambek calculus. - Max I. Kanovich; Stepan L. Kuznetsov; Andre Scedrov (Inf. Comput., 2022)

On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. - Stepan L. Kuznetsov (ICTAC, 2023)

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). - Eben Blaisdell; Max I. Kanovich; Stepan L. Kuznetsov; Elaine Pimentel; Andre Scedrov (CoRR, 2023)

Explorations in Subexponential Non-associative Non-commutative Linear Logic. - Eben Blaisdell; Max I. Kanovich; Stepan L. Kuznetsov; Elaine Pimentel; Andre Scedrov (AMSLO@ESSLLI, 2023)

Relational Models for the Lambek Calculus with Intersection and Constants. - Stepan L. Kuznetsov (Log. Methods Comput. Sci., 2023)

Infinitary Action Logic with Multiplexing. - Stepan L. Kuznetsov; Stanislav O. Speranski (Stud Logica, 2023)

Commutative action logic. - Stepan L. Kuznetsov (J. Log. Comput., 2023)

Syntactic Concept Lattice Models for Infinitary Action Logic. - Stepan L. Kuznetsov (WoLLIC, 2024)

Conjunctive categorial grammars and Lambek grammars with additives. - Stepan L. Kuznetsov; Alexander Okhotin (CoRR, 2024)