Stepan L. Kuznetsov

Orcid: 0000-0003-0025-0133

According to our database1, Stepan L. Kuznetsov authored at least 45 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Conjunctive categorial grammars and Lambek grammars with additives.
CoRR, 2024

Syntactic Concept Lattice Models for Infinitary Action Logic.
Proceedings of the Logic, Language, Information, and Computation, 2024

2023
Commutative action logic.
J. Log. Comput., August, 2023

Infinitary Action Logic with Multiplexing.
Stud Logica, April, 2023

Relational Models for the Lambek Calculus with Intersection and Constants.
Log. Methods Comput. Sci., 2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic.
Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version).
CoRR, 2023

On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022
Language models for some extensions of the Lambek calculus.
Inf. Comput., 2022

Infinitary action logic with exponentiation.
Ann. Pure Appl. Log., 2022

Non-associative, Non-commutative Multi-modal Linear Logic.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
Action Logic is Undecidable.
ACM Trans. Comput. Log., 2021

Complexity of the Infinitary Lambek Calculus with Kleene Star.
Rev. Symb. Log., 2021

Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.
J. Log. Lang. Inf., 2021

The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.
J. Log. Lang. Inf., 2021

Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Relational Models for the Lambek Calculus with Intersection and Unit.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities.
J. Log. Comput., 2020

Complexity of Commutative Infinitary Action Logic.
Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Soft Subexponentials and Multiplexing.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential.
Proceedings of the Logic, 2020

The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
Subexponentials in non-commutative linear logic.
Math. Struct. Comput. Sci., 2019

Craig's trick and a non-sequential system for the Lambek calculus and its fragments.
Log. J. IGPL, 2019

L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.
Proceedings of the Logic, Language, Information, and Computation, 2019

The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later.
Proceedings of the Logic, Language, Information, and Computation, 2019

The Logic of Action Lattices is Undecidable.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Undecidability of a Newly Proposed Calculus for CatLog3.
Proceedings of the Formal Grammar - 24th International Conference, 2019

2018
Bracket Induction for Lambek Calculus with Bracket Modalities.
Proceedings of the Formal Grammar 2018 - 23rd International Conference, 2018

A Logical Framework with Commutative and Non-commutative Subexponentials.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

*-Continuity vs. Induction: Divide and Conquer.
Proceedings of the Advances in Modal Logic 12, 2018

2017
Eliminating the unit constant in the Lambek calculus with brackets.
CoRR, 2017

The Lambek Calculus with Iteration: Two Variants.
Proceedings of the Logic, Language, Information, and Computation, 2017

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order.
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Conjunctive Categorial Grammars.
Proceedings of the 15th Meeting on the Mathematics of Language, 2017

Count-Invariance Including Exponentials.
Proceedings of the 15th Meeting on the Mathematics of Language, 2017

Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.
Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017

2016
Undecidability of the Lambek calculus with subexponentials and bracket modalities.
CoRR, 2016

On Lambek's Restriction in the Presence of Exponential Modalities.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

Undecidability of the Lambek Calculus with a Relevant Modality.
Proceedings of the Formal Grammar - 20th and 21st International Conferences, 2016

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

2013
Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives.
Proceedings of the Formal Grammar, 2013

2012
Lambek grammars with one division and one primitive type.
Log. J. IGPL, 2012

L-Completeness of the Lambek Calculus with the Reversal Operation.
Proceedings of the Logical Aspects of Computational Linguistics, 2012

2011
Lambek Grammars with the Unit.
Proceedings of the Formal Grammar, 2011


  Loading...