Stepan L. Kuznetsov

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 49

Top Topics

Relational Models

Cut Elimination

Reasoning About Actions

Top Venues

J. Log. Lang. Inf.

Publications

Stepan L. Kuznetsov
Syntactic Concept Lattice Models for Infinitary Action Logic. WoLLIC (2024)
Stepan L. Kuznetsov, Alexander Okhotin
Conjunctive categorial grammars and Lambek grammars with additives. CoRR (2024)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). CoRR (2023)
Stepan L. Kuznetsov
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. ICTAC (2023)
Stepan L. Kuznetsov
Relational Models for the Lambek Calculus with Intersection and Constants. Log. Methods Comput. Sci. 19 (4) (2023)
Stepan L. Kuznetsov, Stanislav O. Speranski
Infinitary Action Logic with Multiplexing. Stud Logica 111 (2) (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential Non-associative Non-commutative Linear Logic. CoRR (2023)
Stepan L. Kuznetsov
Commutative action logic. J. Log. Comput. 33 (6) (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Non-associative, Non-commutative Multi-modal Linear Logic. IJCAR (2022)
Stepan L. Kuznetsov, Stanislav O. Speranski
Infinitary action logic with exponentiation. Ann. Pure Appl. Log. 173 (2) (2022)
Stepan L. Kuznetsov
Relational Models for the Lambek Calculus with Intersection and Constants. CoRR (2022)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Language models for some extensions of the Lambek calculus. Inf. Comput. 287 (2022)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. J. Log. Lang. Inf. 30 (1) (2021)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. J. Log. Lang. Inf. 30 (1) (2021)
Stepan L. Kuznetsov
Action Logic is Undecidable. ACM Trans. Comput. Log. 22 (2) (2021)
Stepan L. Kuznetsov
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. TABLEAUX (2021)
Stepan L. Kuznetsov
Relational Models for the Lambek Calculus with Intersection and Unit. RAMiCS (2021)
Stepan L. Kuznetsov
Complexity of the Infinitary Lambek Calculus with Kleene Star. Rev. Symb. Log. 14 (4) (2021)
Stepan L. Kuznetsov
Complexity of Commutative Infinitary Action Logic. DaLí (2020)
Stepan L. Kuznetsov
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. AiML (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. CoRR (2020)
Stepan L. Kuznetsov
A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential. Logic, Language, and Security (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Soft Subexponentials and Multiplexing. IJCAR (1) (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities. J. Log. Comput. 30 (1) (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Language Models for Some Extensions of the Lambek Calculus. CoRR (2020)
Stepan L. Kuznetsov
Complexity of the Infinitary Lambek Calculus with Kleene Star. CoRR (2020)
Stepan L. Kuznetsov, Stanislav O. Speranski
Infinitary Action Logic with Exponentiation. CoRR (2020)
Stepan L. Kuznetsov, Valentina Lugovaya, Anastasiia Ryzhova
Craig's trick and a non-sequential system for the Lambek calculus and its fragments. Log. J. IGPL 27 (3) (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit. WoLLIC (2019)
Stepan L. Kuznetsov
The Logic of Action Lattices is Undecidable. LICS (2019)
Stepan L. Kuznetsov
Action Logic is Undecidable. CoRR (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later. WoLLIC (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of a Newly Proposed Calculus for CatLog3. FG (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. 29 (8) (2019)
Stepan L. Kuznetsov
*-Continuity vs. Induction: Divide and Conquer. Advances in Modal Logic (2018)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
A Logical Framework with Commutative and Non-commutative Subexponentials. IJCAR (2018)
Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov
Bracket Induction for Lambek Calculus with Bracket Modalities. FG (2018)
Stepan L. Kuznetsov
The Lambek Calculus with Iteration: Two Variants. WoLLIC (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. FCT (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
A polynomial time algorithm for the Lambek calculus with brackets of bounded order. CoRR (2017)
Stepan L. Kuznetsov, Glyn Morrill, Oriol Valentín
Count-Invariance Including Exponentials. MOL (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. FSCD (2017)
Stepan L. Kuznetsov
Eliminating the unit constant in the Lambek calculus with brackets. CoRR (2017)
Stepan L. Kuznetsov, Alexander Okhotin
Conjunctive Categorial Grammars. MOL (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek calculus with subexponentials and bracket modalities. CoRR (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities. CoRR (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek Calculus with a Relevant Modality. FG (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
On Lambek's Restriction in the Presence of Exponential Modalities. LFCS (2016)
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Undecidability of the Lambek calculus with a relevant modality. CoRR (2016)
Stepan L. Kuznetsov
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. Categories and Types in Logic, Language, and Physics (2014)
Stepan L. Kuznetsov
Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives. FG (2013)
Stepan L. Kuznetsov
L-Completeness of the Lambek Calculus with the Reversal Operation. LACL (2012)
Stepan L. Kuznetsov
Lambek grammars with one division and one primitive type. Log. J. IGPL 20 (1) (2012)
Stepan L. Kuznetsov
Lambek Grammars with the Unit. FG (2011)