5 citations to 10.1093/logcom/exu066 (Crossref Cited-By Service)

1. Stepan Kuznetsov, “Action Logic is Undecidable”, ACM Trans. Comput. Logic, 22, no. 2, 2021, 1  
2. Stepan L. Kuznetsov, 14446, Theoretical Aspects of Computing – ICTAC 2023, 2023, 83  
3. M. Rybakov, “Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables”, Dokl. Math., 106, no. 3, 2022, 458  
4. Stepan L Kuznetsov, “Commutative action logic”, Journal of Logic and Computation, 33, no. 6, 2023, 1437  
5. Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev, “Elementary theories and hereditary undecidability for semilattices of numberings”, Arch. Math. Logic, 58, no. 3-4, 2019, 485