| 2026 | FSCD | Undecidability for Semirings with Fixed Points. | Anupam Das, Abhishek De, Stepan L. Kuznetsov |
| 2026 | IJCAR | Complexity of Reasoning in Kleene Algebra with Sum-of-Letters Hypotheses. | Stepan L. Kuznetsov |
| 2025 | DCAI | On Lambek Grammars with Kleene Star. | Stepan L. Kuznetsov |
| 2024 | WoLLIC | Syntactic Concept Lattice Models for Infinitary Action Logic. | Stepan L. Kuznetsov |
| 2023 | ICTAC | On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. | Stepan L. Kuznetsov |
| 2022 | CADE | Non-associative, Non-commutative Multi-modal Linear Logic. | Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov |
| 2021 | TABLEAUX | Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. | Stepan L. Kuznetsov |
| 2020 | AiML | The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. | Stepan L. Kuznetsov |
| 2020 | CADE | Soft Subexponentials and Multiplexing. | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
| 2019 | FG | Undecidability of a Newly Proposed Calculus for CatLog3. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2019 | LICS | The Logic of Action Lattices is Undecidable. | Stepan L. Kuznetsov |
| 2019 | WoLLIC | The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2019 | WoLLIC | L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2018 | AiML | *-Continuity vs. Induction: Divide and Conquer. | Stepan L. Kuznetsov |
| 2018 | CADE | A Logical Framework with Commutative and Non-commutative Subexponentials. | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
| 2018 | FG | Bracket Induction for Lambek Calculus with Bracket Modalities. | Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov |
| 2017 | FCT | Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2017 | WoLLIC | The Lambek Calculus with Iteration: Two Variants. | Stepan L. Kuznetsov |
| 2016 | FG | Undecidability of the Lambek Calculus with a Relevant Modality. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2016 | LFCS | On Lambek's Restriction in the Presence of Exponential Modalities. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2013 | FG | Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives. | Stepan L. Kuznetsov |
| 2011 | FG | Lambek Grammars with the Unit. | Stepan L. Kuznetsov |