- Stanislav O Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042
- Stanislav O. Speranski, “Notes on the Computational Aspects of Kripke’s Theory of Truth”, Stud Logica, 105, no. 2, 2017, 407
- Stanislav Olegovich Speranski, Fedor Nikolaevich Pakhomov, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Известия Российской академии наук. Серия математическая, 86, no. 6, 2022, 207
- Stanislav Olegovich Speranski, Fedor Nikolaevich Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86, no. 6, 2022, 1225
- Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114