Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024
С. О. Сперанский, “Элементарные инварианты для кванторной вероятностной логики”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 8–12 ; S. O. Speranski, “Elementary invariants for quantified probability logic”, Dokl. Math., 107:2 (2023), 93–96
S. O. Speranski, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comput. Sci., 27:8 (2017), 1581–1600
S. O. Speranski, “A note on hereditarily $\Pi_1^0$- and $\Sigma_1^0$-complete sets of sentences”, J. Logic Comput., 26:5 (2016), 1729–1741
С. О. Сперанский, “О схлопывании вероятностных иерархий. I”, Алгебра и логика, 52:2 (2013), 236–254 ; S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171
S. O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035