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

1. Stepan Kuznetsov, “Action Logic is Undecidable”, ACM Trans. Comput. Logic, 22, № 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, № 3, 2022, 458  
4. Stepan L Kuznetsov, “Commutative action logic”, Journal of Logic and Computation, 33, № 6, 2023, 1437  
5. Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev, “Elementary theories and hereditary undecidability for semilattices of numberings”, Arch. Math. Logic, 58, № 3-4, 2019, 485