- S. O. Speranski, “Elementary Invariants for Quantified Probability Logic”, Dokl. Math., 107, № 2, 2023, 93
- Leon Horsten, Stanislav O. Speranski, “Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective”, J Philos Logic, 48, № 4, 2019, 685
- S. O. Speranski, “ELEMENTARY INVARIANTS FOR QUANTIFIED PROBABILITY LOGIC”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 510, № 1, 2023, 8
- Stanislav Olegovich Speranski, Fedor Nikolaevich Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86, № 6, 2022, 1225
- Bernard Boigelot, Pascal Fontaine, Baptiste Vergain, 14151, Implementation and Application of Automata, 2023, 91
- Bernard Boigelot, Pascal Fontaine, Baptiste Vergain, 14132, Automated Deduction – CADE 29, 2023, 542
- STANISLAV O. SPERANSKI, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comp. Sci., 27, № 8, 2017, 1581
- Stanislav O Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042
- Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, COM, 4, № 2, 2015, 159
- Stanislav O. Speranski, “Notes on the Computational Aspects of Kripke’s Theory of Truth”, Stud Logica, 105, № 2, 2017, 407