Igor Sedlár, 12005, Dynamic Logic. New Trends and Applications, 2020, 141
Stepan L Kuznetsov, “Commutative action logic”, Journal of Logic and Computation, 33, № 6, 2023, 1437
S. L. Kuznetsov, N. S. Ryzhkova, “A Restricted Fragment of the Lambek Calculus with Iteration and Intersection Operations”, Algebra Logic, 59, № 2, 2020, 129
Stepan Kuznetsov, 12569, Dynamic Logic. New Trends and Applications, 2020, 155
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities”, J of Log Lang and Inf, 30, № 1, 2021, 31
Stepan L. Kuznetsov, 12300, Logic, Language, and Security, 2020, 3
Stepan Kuznetsov, “Action Logic is Undecidable”, ACM Trans. Comput. Logic, 22, № 2, 2021, 1