Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39
S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26
T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744