3 citations to https://www.mathnet.ru/eng/stlog4

1. S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269        
2. Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26      
3. T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744