Stepan Kuznetsov

Publications²⁴

• Article Stepan L. Kuznetsov. Commutative action logic // Journal of Logic and Computation. 2022. P. 1-27. doi
• Article Kanovich M., Kuznetsov S., Scedrov A. Language models for some extensions of the Lambek calculus // Information and Computation. 2022. Vol. 287. Article 104760. doi
• Chapter Blaisdell E., Kanovich M., Stepan L. Kuznetsov, Pimentel E., Scedrov A. Non-associative, non-commutative multi-modal linear logic, in: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings Vol. 13385. Cham : Springer, 2022. doi P. 449-467. doi
• Article Kanovich M., Kuznetsov Stepan G., Kuznetsov S., Scedrov A. Decidable Fragments of Calculi Used in CatLog // Studies in Computational Intelligence. 2021. Vol. 999. P. 1-24. doi
• Book Logical Perspectives 2021 Workshop / Сост.: L. D. Beklemishev, S. Kuznetsov. M. : , 2021.
• Article Kanovich M., Kuznetsov S., Scedrov A. The multiplicative-additive Lambek calculus with subexponential and bracket modalities // Journal of Logic, Language and Information. 2021. Vol. 30. No. 1. P. 31-88. doi
• Chapter Kuznetsov S. A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential, in: Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / Ed. by V. Nigam, T. Ban Kirigin, C. Talcott, J. Guttman, S. Kuznetsov, B. T. Loo, M. Okada. Issue 12300. Cham : Springer, 2020. doi P. 3-16. doi
• 
  Book Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / Ed. by V. Nigam, T. Ban Kirigin, C. Talcott, J. Guttman, S. Kuznetsov, B. T. Loo, M. Okada. Issue 12300. Cham : Springer, 2020. doi
• Article Kanovich M., Kuznetsov S., Scedrov A. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities // Journal of Logic and Computation. 2020. Vol. 30. No. 1. P. 239-256. doi
• Chapter Kanovich M., Kuznetsov S., Nigam V., Scedrov A. Soft subexponentials and multiplexing, in: Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part I Vol. 12166. Cham : Springer, 2020. doi P. 500-517. doi
• Chapter Kanovich M., Kuznetsov S., Scedrov A. L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit, in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Vol. 11541: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2019. P. 373-391. doi
• Book Kanovich M., Kuznetsov S., Scedrov A., Nigam V. Mathematical Structures in Computer Science Vol. 29. Issue 8. Cambridge University Press, 2019. doi
• Chapter Kanovich M., Kuznetsov S., Nigam V., Scedrov A. Subexponentials in non-commutative linear logic, in: Mathematical Structures in Computer Science Vol. 29. Issue 8. Cambridge University Press, 2019. doi P. 1217-1249. doi
• Chapter Kanovich M., Kuznetsov S., Scedrov A. The complexity of multiplicative-additive Lambek calculus: 25 years later, in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Vol. 11541: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2019. P. 356-372. doi
• Chapter Kuznetsov S. The logic of action lattices is undecidable, in: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019). IEEE, 2019. Ch. 36. P. 1-9. doi
• Chapter Kanovich M., Kuznetsov S., Scedrov A. Undecidability of a newly proposed calculus for CatLog3, in: Formal Grammar 2019, 24th International Conference Vol. 11668. Berlin : Springer, 2019. doi P. 67-83. doi
• Chapter Kanovich M., Kuznetsov S., Nigam V., Scedrov A. A Logical Framework with Commutative and Non-commutative Subexponentials, in: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING Issue 10900. Springer International Publishing AG, part of Springer Nature 2018, 2018. doi P. 228-245. doi
• Chapter Kanovich M., Kuznetsov S., Nigam V., Scedrov A. A Logical Framework with Commutative and Non-commutative Subexponentials, in: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Springer, 2018. doi P. 228-245. doi
• Chapter Kuznetsov S., Kanovich M., Scedrov A. Bracket Induction for Lambek Calculus with Bracket Modalities, in: International Conference on Formal Grammar FG 2018: Formal Grammar 2018. Netherlands : Springer, 2018. P. 84-101. doi
• Chapter Kanovich M., Kuznetsov S., Morrill G., Scedrov A. A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order, in: Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017 Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). , 2017. P. 22:1-22:17. doi
• Chapter Kanovich M., Scedrov A., Kuznetsov S. Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities, in: 21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017. Springer, 2017. doi P. 326-340. doi
• Article Кузнецов С. Л. О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики // Труды Математического института им. В.А. Стеклова РАН. 2016. Т. 294. С. 141-151. doi
• Article Кузнецов С. Л. О преобразовании контекстно-свободных грамматик в грамматики Ламбека // Труды Математического института им. В.А. Стеклова РАН. 2015. Т. 290. С. 72-79. doi
• Article S. L. Kuznetsov. Trivalent logics arising from L-models for the Lambek calculus with constants // Journal of Applied Non-Classical Logics. 2014. Vol. 14. No. 1-2. P. 132-137. doi