Stepan L. Kuznetsov

59 papers A* 1A 2B 10C 7Misc 1Journal 29Unranked 8
YearRankTypeTitle / Venue / Authors
2026 C conf
Complexity of Equational Theories for Relational and Language Action Lattices.
RAMICS
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2026 J jnl
On syntactic concept lattice models for the Lambek calculus and infinitary action logic.
J. Log. Comput.
Stepan L. Kuznetsov
2025 J jnl
On syntactic concept lattice models for the Lambek calculus and infinitary action logic.
CoRR
Stepan L. Kuznetsov
2025 J jnl
Undecidability of theories of semirings with fixed points.
CoRR
Anupam Das, Abhishek De, Stepan L. Kuznetsov
2024 J jnl
Conjunctive categorial grammars and Lambek grammars with additives.
CoRR
Stepan L. Kuznetsov, Alexander Okhotin
2024 C conf
Syntactic Concept Lattice Models for Infinitary Action Logic.
WoLLIC
Stepan L. Kuznetsov
2023 J jnl
Commutative action logic.
J. Log. Comput.
Stepan L. Kuznetsov
2023 — conf
Explorations in Subexponential Non-associative Non-commutative Linear Logic.
AMSLO@ESSLLI
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
2023 J jnl
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version).
CoRR
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
2023 J jnl
Infinitary Action Logic with Multiplexing.
Stud Logica
Stepan L. Kuznetsov, Stanislav O. Speranski
2023 C conf
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions.
ICTAC
Stepan L. Kuznetsov
2023 J jnl
Relational Models for the Lambek Calculus with Intersection and Constants.
Log. Methods Comput. Sci.
Stepan L. Kuznetsov
2022 J jnl
Infinitary action logic with exponentiation.
Ann. Pure Appl. Log.
Stepan L. Kuznetsov, Stanislav O. Speranski
2022 J jnl
Language models for some extensions of the Lambek calculus.
Inf. Comput.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2022 A conf
Non-associative, Non-commutative Multi-modal Linear Logic.
IJCAR
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
2022 J jnl
Relational Models for the Lambek Calculus with Intersection and Constants.
CoRR
Stepan L. Kuznetsov
2021 J jnl
Action Logic is Undecidable.
ACM Trans. Comput. Log.
Stepan L. Kuznetsov
2021 B conf
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs.
TABLEAUX
Stepan L. Kuznetsov
2021 J jnl
Complexity of the Infinitary Lambek Calculus with Kleene Star.
Rev. Symb. Log.
Stepan L. Kuznetsov
2021 J jnl
Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.
J. Log. Lang. Inf.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2021 C conf
Relational Models for the Lambek Calculus with Intersection and Unit.
RAMiCS
Stepan L. Kuznetsov
2021 J jnl
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.
J. Log. Lang. Inf.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2020 — conf
A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential.
Logic, Language, and Security
Stepan L. Kuznetsov
2020 — conf
Complexity of Commutative Infinitary Action Logic.
DaLí
Stepan L. Kuznetsov
2020 J jnl
Complexity of the Infinitary Lambek Calculus with Kleene Star.
CoRR
Stepan L. Kuznetsov
2020 J jnl
Infinitary Action Logic with Exponentiation.
CoRR
Stepan L. Kuznetsov, Stanislav O. Speranski
2020 J jnl
Language Models for Some Extensions of the Lambek Calculus.
CoRR
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2020 — ed.
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Logic, Language, and Security
Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
2020 J jnl
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities.
J. Log. Comput.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2020 — conf
Soft Subexponentials and Multiplexing.
IJCAR (1)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
2020 B conf
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins.
AiML
Stepan L. Kuznetsov
2020 J jnl
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.
CoRR
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2019 J jnl
Action Logic is Undecidable.
CoRR
Stepan L. Kuznetsov
2019 J jnl
Craig's trick and a non-sequential system for the Lambek calculus and its fragments.
Log. J. IGPL
Stepan L. Kuznetsov, Valentina Lugovaya, Anastasiia Ryzhova
2019 C conf
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.
WoLLIC
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2019 J jnl
Subexponentials in non-commutative linear logic.
Math. Struct. Comput. Sci.
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
2019 C conf
The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later.
WoLLIC
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2019 A* conf
The Logic of Action Lattices is Undecidable.
LICS
Stepan L. Kuznetsov
2019 B conf
Undecidability of a Newly Proposed Calculus for CatLog3.
FG
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2018 B conf
*-Continuity vs. Induction: Divide and Conquer.
Advances in Modal Logic
Stepan L. Kuznetsov
2018 A conf
A Logical Framework with Commutative and Non-commutative Subexponentials.
IJCAR
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
2018 B conf
Bracket Induction for Lambek Calculus with Bracket Modalities.
FG
Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov
2017 B conf
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order.
FSCD
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
2017 J jnl
A polynomial time algorithm for the Lambek calculus with brackets of bounded order.
CoRR
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
2017 — conf
Conjunctive Categorial Grammars.
MOL
Stepan L. Kuznetsov, Alexander Okhotin
2017 — conf
Count-Invariance Including Exponentials.
MOL
Stepan L. Kuznetsov, Glyn Morrill, Oriol Valentín
2017 J jnl
Eliminating the unit constant in the Lambek calculus with brackets.
CoRR
Stepan L. Kuznetsov
2017 C conf
The Lambek Calculus with Iteration: Two Variants.
WoLLIC
Stepan L. Kuznetsov
2017 B conf
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.
FCT
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2016 Misc conf
On Lambek's Restriction in the Presence of Exponential Modalities.
LFCS
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2016 J jnl
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities.
CoRR
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2016 B conf
Undecidability of the Lambek Calculus with a Relevant Modality.
FG
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2016 J jnl
Undecidability of the Lambek calculus with a relevant modality.
CoRR
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2016 J jnl
Undecidability of the Lambek calculus with subexponentials and bracket modalities.
CoRR
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2014 — conf
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents.
Categories and Types in Logic, Language, and Physics
Stepan L. Kuznetsov
2013 B conf
Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives.
FG
Stepan L. Kuznetsov
2012 — conf
L-Completeness of the Lambek Calculus with the Reversal Operation.
LACL
Stepan L. Kuznetsov
2012 J jnl
Lambek grammars with one division and one primitive type.
Log. J. IGPL
Stepan L. Kuznetsov
2011 B conf
Lambek Grammars with the Unit.
FG
Stepan L. Kuznetsov