Edit Profile Kuznetsov, Stepan L’vovich Compute Distance To: Compute Author ID: kuznetsov.s-l Published as: Kuznetsov, S. L.; Kuznetsov, Stepan Homepage: http://lpcs.math.msu.su/~sk/ External Links: MGP · Math-Net.Ru · Wikidata · ORCID · dblp Documents Indexed: 25 Publications since 2009, including 1 Book all top 5 Co-Authors 11 single-authored 9 Kanovich, Max Iosifovich 9 Scedrov, Andre 3 Nigam, Vivek 2 Morrill, Glyn V. 1 Ban Kirigin, Tajana 1 Guttman, Joshua D. 1 Loo, Boon Thau 1 Lugovaya, Valentina 1 Okada, Mitsuhiro 1 Okhotin, Alexander 1 Ryzhkova, N. S. 1 Ryzhova, Anastasiia 1 Talcott, Carolyn L. 1 Valentín, Oriol all top 5 Serials 2 Logic Journal of the IGPL 2 Proceedings of the Steklov Institute of Mathematics 1 Moscow University Mathematics Bulletin 1 Algebra and Logic 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Applied Non-Classical Logics 1 Lecture Notes in Computer Science Fields 22 Mathematical logic and foundations (03-XX) 12 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 15 Publications have been cited 23 times in 11 Documents Cited by ▼ Year ▼ Lambek grammars with one division and one primitive type. Zbl 1259.03034Kuznetsov, Stepan 3 2012 Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2017 On Lambek’s restriction in the presence of exponential modalities. Zbl 06751236Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2016 On translating Lambek grammars with one division into context-free grammars. Zbl 1359.68153Kuznetsov, S. L. 2 2016 Undecidability of the Lambek calculus with a relevant modality. Zbl 06658641Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2016 On translating context-free grammars into Lambek grammars. Zbl 1333.68171Kuznetsov, S. L. 2 2015 Lambek grammars with the unit. Zbl 1370.03037Kuznetsov, Stepan 2 2012 L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 1 2019 Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 07067261Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia 1 2019 *-continuity vs. induction: divide and conquer. Zbl 1418.03111Kuznetsov, Stepan 1 2018 The Lambek calculus with iteration: two variants. Zbl 06820469Kuznetsov, Stepan 1 2017 Conjunctive categorial grammars. Zbl 1376.03034Kuznetsov, Stepan; Okhotin, Alexander 1 2017 Count-invariance including exponentials. Zbl 1376.03033Kuznetsov, Stepan; Morrill, Glyn; Valentín, Oriol 1 2017 Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives. Zbl 1390.68368Kuznetsov, Stepan 1 2013 L-completeness of the Lambek calculus with the reversal operation. Zbl 1291.03039Kuznetsov, Stepan 1 2012 L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 1 2019 Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 07067261Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia 1 2019 *-continuity vs. induction: divide and conquer. Zbl 1418.03111Kuznetsov, Stepan 1 2018 Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2017 The Lambek calculus with iteration: two variants. Zbl 06820469Kuznetsov, Stepan 1 2017 Conjunctive categorial grammars. Zbl 1376.03034Kuznetsov, Stepan; Okhotin, Alexander 1 2017 Count-invariance including exponentials. Zbl 1376.03033Kuznetsov, Stepan; Morrill, Glyn; Valentín, Oriol 1 2017 On Lambek’s restriction in the presence of exponential modalities. Zbl 06751236Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2016 On translating Lambek grammars with one division into context-free grammars. Zbl 1359.68153Kuznetsov, S. L. 2 2016 Undecidability of the Lambek calculus with a relevant modality. Zbl 06658641Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2016 On translating context-free grammars into Lambek grammars. Zbl 1333.68171Kuznetsov, S. L. 2 2015 Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives. Zbl 1390.68368Kuznetsov, Stepan 1 2013 Lambek grammars with one division and one primitive type. Zbl 1259.03034Kuznetsov, Stepan 3 2012 Lambek grammars with the unit. Zbl 1370.03037Kuznetsov, Stepan 2 2012 L-completeness of the Lambek calculus with the reversal operation. Zbl 1291.03039Kuznetsov, Stepan 1 2012 all cited Publications top 5 cited Publications all top 5 Cited by 9 Authors 7 Kuznetsov, Stepan L’vovich 3 Kanovich, Max Iosifovich 3 Scedrov, Andre 2 Morrill, Glyn V. 1 Buszkowski, Wojciech 1 Kanazawa, Makoto 1 Nigam, Vivek 1 Okhotin, Alexander 1 Ryzhkova, N. S. Cited in 5 Serials 2 Journal of Logic, Language and Information 2 Proceedings of the Steklov Institute of Mathematics 1 Algebra and Logic 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science Cited in 3 Fields 9 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) 1 Group theory and generalizations (20-XX) Citations by Year Wikidata Timeline