Stepan Kuznetsov, “Action Logic is Undecidable”, ACM Trans. Comput. Logic, 22, no. 2, 2021, 1
Stepan L. Kuznetsov, 14446, Theoretical Aspects of Computing – ICTAC 2023, 2023, 83
M. Rybakov, “Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables”, Dokl. Math., 106, no. 3, 2022, 458
Stepan L Kuznetsov, “Commutative action logic”, Journal of Logic and Computation, 33, no. 6, 2023, 1437
Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev, “Elementary theories and hereditary undecidability for semilattices of numberings”, Arch. Math. Logic, 58, no. 3-4, 2019, 485
Vladimir Evgen'evich Karpov, Stanislav Olegovich Speranski, “О наследственно неразрешимых фрагментах базовых элементарных теорий”, Математические заметки, 118, no. 1, 2025, 77
Stanislav Olegovich Speranski, “On the decision problem for quantified probability logics”, Izv. Math., 89, no. 3, 2025, 609