Follow
Stepan Kuznetsov
Stepan Kuznetsov
Математический институт им. В. А. Стеклова РАН
Verified email at mi.ras.ru - Homepage
Title
Cited by
Cited by
Year
Subexponentials in non-commutative linear logic
M Kanovich, S Kuznetsov, V Nigam, A Scedrov
Mathematical Structures in Computer Science 29 (8), 1217-1249, 2019
502019
Undecidability of the Lambek calculus with a relevant modality
M Kanovich, S Kuznetsov, A Scedrov
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona …, 2016
322016
A logical framework with commutative and non-commutative subexponentials
M Kanovich, S Kuznetsov, V Nigam, A Scedrov
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
232018
Soft subexponentials and multiplexing
M Kanovich, S Kuznetsov, V Nigam, A Scedrov
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
192020
Infinitary action logic with exponentiation
SL Kuznetsov, SO Speranski
Annals of Pure and Applied Logic 173 (2), 103057, 2022
172022
Lambek grammars with one division and one primitive type
S Kuznetsov
Logic Journal of the IGPL 20 (1), 207-221, 2012
172012
Undecidability of the Lambek calculus with subexponential and bracket modalities
M Kanovich, S Kuznetsov, A Scedrov
Fundamentals of Computation Theory: 21st International Symposium, FCT 2017 …, 2017
162017
The Logic of Action Lattices is Undecidable.
SL Kuznetsov
LICS, 1-9, 2019
132019
The complexity of multiplicative-additive Lambek calculus: 25 years later
M Kanovich, S Kuznetsov, A Scedrov
International Workshop on Logic, Language, Information, and Computation, 356-372, 2019
132019
Non-associative, non-commutative multi-modal linear logic
E Blaisdell, M Kanovich, SL Kuznetsov, E Pimentel, A Scedrov
International Joint Conference on Automated Reasoning, 449-467, 2022
112022
Action logic is undecidable
S Kuznetsov
ACM Transactions on Computational Logic (TOCL) 22 (2), 1-26, 2021
112021
The Lambek calculus with iteration: two variants
S Kuznetsov
International Workshop on Logic, Language, Information, and Computation, 182-198, 2017
112017
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
S Kuznetsov
International Conference on Formal Grammar, 242-249, 2012
112012
∗-continuity vs. induction: Divide and conquer
S Kuznetsov
Advances in Modal Logic, 493-510, 2018
102018
A polynomial time algorithm for the Lambek calculus with brackets of bounded order
M Kanovich, S Kuznetsov, G Morrill, A Scedrov
arXiv preprint arXiv:1705.00694, 2017
102017
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
M Kanovich, S Kuznetsov, A Scedrov
Journal of Logic and Computation 30 (1), 239-256, 2020
92020
Lambek grammars with the unit
S Kuznetsov
International Conference on Formal Grammar, 262-266, 2010
92010
The multiplicative-additive Lambek calculus with subexponential and bracket modalities
M Kanovich, S Kuznetsov, A Scedrov
Journal of Logic, Language and Information 30 (1), 31-88, 2021
82021
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
V Nigam, TB Kirigin, C Talcott, J Guttman, S Kuznetsov, BT Loo, M Okada
Springer Nature, 2020
82020
A restricted fragment of the Lambek calculus with iteration and intersection operations
SL Kuznetsov, NS Ryzhkova
Algebra and Logic 59 (2), 129-146, 2020
82020
The system can't perform the operation now. Try again later.
Articles 1–20