Stepan Kuznetsov

Stepan Kuznetsov

Steklov Mathematical Institute Russian Academy of Sciences - Moscow / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4609032
Математический институт имени В. А. Стеклова Российской академии наук
person_outline Stepan Kuznetsov's MOST POPULAR ARTICLES
1-) Subexponentials in non-commutative linear logicM Kanovich, S Kuznetsov, V Nigam, A ScedrovMathematical Structures in Computer Science 29 (8), 1217-1249, 2019322019
2-) Undecidability of the Lambek calculus with a relevant modalityM Kanovich, S Kuznetsov, A ScedrovFormal grammar, 240-256, 2015232015
3-) A logical framework with commutative and non-commutative subexponentialsM Kanovich, S Kuznetsov, V Nigam, A ScedrovInternational Joint Conference on Automated Reasoning, 228-245, 2018172018
4-) Soft subexponentials and multiplexingM Kanovich, S Kuznetsov, V Nigam, A ScedrovAutomated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020192020
5-) Infinitary action logic with exponentiationSL Kuznetsov, SO SperanskiAnnals of Pure and Applied Logic 173 (2), 103057, 2022172022