7 citations to 10.1109/LICS.2019.8785659 (Crossref Cited-By Service)

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