S. O. Speranski, “Elementary Invariants for Quantified Probability Logic”, Dokl. Math., 107, no. 2, 2023, 93
Leon Horsten, Stanislav O. Speranski, “Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective”, J Philos Logic, 48, no. 4, 2019, 685
S. O. Speranski, “ELEMENTARY INVARIANTS FOR QUANTIFIED PROBABILITY LOGIC”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 510, no. 1, 2023, 8
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
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, no. 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, no. 2, 2015, 159
Stanislav O. Speranski, “Notes on the Computational Aspects of Kripke’s Theory of Truth”, Stud Logica, 105, no. 2, 2017, 407