| Subexponentials in non-commutative linear logic M Kanovich, S Kuznetsov, V Nigam, A Scedrov Mathematical Structures in Computer Science 29 (8), 1217-1249, 2019 | 51 | 2019 |
| 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 | 31 | 2016 |
| 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 | 25 | 2018 |
| Soft subexponentials and multiplexing M Kanovich, S Kuznetsov, V Nigam, A Scedrov Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 19 | 2020 |
| Lambek grammars with one division and one primitive type S Kuznetsov Logic Journal of the IGPL 20 (1), 207-221, 2012 | 19 | 2012 |
| Infinitary action logic with exponentiation SL Kuznetsov, SO Speranski Annals of Pure and Applied Logic 173 (2), 103057, 2022 | 17 | 2022 |
| 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 | 16 | 2017 |
| 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 | 14 | 2022 |
| 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 | 13 | 2019 |
| The Logic of Action Lattices is Undecidable. SL Kuznetsov LICS, 1-9, 2019 | 12 | 2019 |
| Action logic is undecidable S Kuznetsov ACM Transactions on Computational Logic (TOCL) 22 (2), 1-26, 2021 | 11 | 2021 |
| ∗-continuity vs. induction: Divide and conquer S Kuznetsov Advances in Modal Logic, 493-510, 2018 | 11 | 2018 |
| The Lambek calculus with iteration: two variants S Kuznetsov International Workshop on Logic, Language, Information, and Computation, 182-198, 2017 | 11 | 2017 |
| 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 | 11 | 2017 |
| Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives S Kuznetsov International Conference on Formal Grammar, 242-249, 2012 | 11 | 2012 |
| Lambek grammars with the unit S Kuznetsov International Conference on Formal Grammar, 262-266, 2010 | 11 | 2010 |
| A restricted fragment of the Lambek calculus with iteration and intersection operations SL Kuznetsov, NS Ryzhkova Algebra and Logic 59 (2), 129-146, 2020 | 9 | 2020 |
| 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 | 9 | 2020 |
| Commutative action logic SL Kuznetsov Journal of Logic and Computation 33 (6), 1437-1462, 2023 | 8 | 2023 |
| Language models for some extensions of the Lambek calculus M Kanovich, S Kuznetsov, A Scedrov Information and Computation 287, 104760, 2022 | 8 | 2022 |
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
