Marco Carbone, Sonia Marin, Carsten Schürmann, Lecture Notes in Computer Science, 14330, Logic-Based Program Synthesis and Transformation, 2023, 99
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Non-associative, Non-commutative Multi-modal Linear Logic”, Lecture Notes in Comput. Sci., 13385 (2022), 449–467
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30 (2021), 31–88
Stepan Kuznetsov, “Complexity of Commutative Infinitary Action Logic”, Lecture Notes in Comput. Sci., 12569 (2020), 155–169
Stepan L. Kuznetsov, “A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential”, Lecture Notes in Comput. Sci., 12300 (2020), 3–16
Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020), 500–517
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Lecture Notes in Comput. Sci., 11668 (2019), 67–83
Stepan Kuznetsov, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, 1
Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Lecture Notes in Comput. Sci., 10950 (2018), 84–101