3 citations to https://www.mathnet.ru/rus/lncs45
-
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39
-
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26
-
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 111 (2023), 251–280