3 citations to https://www.mathnet.ru/eng/ljour9
-
S. O. Speranski, “On the decision problem for quantified probability logics”, Izv. RAN. Ser. matem., 89:3 (2025), 193–211
-
S. O. Speranski, “On the decision problem for quantified probability logics”, Izv. Math., 89:3 (2025), 609–627
-
Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024