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, № 2, 2017, 407
Stanislav Olegovich Speranski, Fedor Nikolaevich Pakhomov, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Известия Российской академии наук. Серия математическая, 86, № 6, 2022, 207
Stanislav Olegovich Speranski, Fedor Nikolaevich Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86, № 6, 2022, 1225
Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114