|
|
|
|
|
 2025 |
| 1. |
Stanislav O. Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Log. J. IGPL, 33:2 (2025), jzae042 , 23 pp.    |
| 2. |
С. О. Сперанский, “On the decision problem for quantified probability logics”, Изв. РАН. Сер. матем., 89:3 (2025) (в печати) |
| 3. |
В. Е. Карпов, С. О. Сперанский, “О наследственно неразрешимых фрагментах базовых элементарных теорий”, Матем. заметки, 118:1 (2025), 77–90 (в печати) |
| 4. |
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39 (Published online) , arXiv: 2408.02118 ; (Published online) |
|
| 2024 |
| 5. |
А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 215:3 (2024), 37–69    ; A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354  |
| 6. |
С. О. Сперанский, Теория внутренних множеств: Аксиоматический подход к нестандартному анализу, Лекции летней школы «Современная математика», Издательство МЦНМО, Москва, 2024 , 32 с. препринт |
| 7. |
Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”, Log. J. IGPL, 2024, jzae114 , 21 pp. |
|
| 2023 |
| 8. |
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with multiplexing”, Studia Logica, 111:2 (2023), 251–280 |
| 9. |
С. О. Сперанский, “Элементарные инварианты для кванторной вероятностной логики”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 8–12  ; S. O. Speranski, “Elementary invariants for quantified probability logic”, Doklady Mathematics, 107 (2023), 93–96 |
|
| 2022 |
| 10. |
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057 , 29 pp., arXiv: 2001.06863 |
| 11. |
С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 86:6 (2022), 207–222 ; S. O. Speranski, F. N. Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86:6 (2022), 1225–1239 |
| 12. |
S. O. Speranski, “Some remarks on Došen's logic N and its extensions”, Сиб. электрон. матем. изв., 19:2 (2022), 562–577 |
|
| 2021 |
| 13. |
Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355 |
| 14. |
С. О. Сперанский, “О модальной логике бирешёток и её расширениях”, Алгебра и логика, 60:6 (2021), 612–635 ; S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424 |
|
| 2020 |
| 15. |
Sergei P. Odintsov, Stanislav O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435 |
|
| 2019 |
| 16. |
Leon Horsten, Stanislav O. Speranski, “Reasoning about arbitrary natural numbers from a Carnapian perspective”, Journal of Philosophical Logic, 48:4 (2019), 685–707 |
|
| 2018 |
| 17. |
Sergei P. Odintsov, Stanislav O. Speranski, Igor Yu. Shevchenko, “Hintikka's independence-friendly logic meets Nelson's realizability”, Studia Logica, 106:3 (2018), 637–670 |
|
| 2017 |
| 18. |
Stanislav O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600 |
| 19. |
Stanislav O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429 |
|
| 2016 |
| 20. |
Stanislav O. Speranski, “A note on hereditarily $\Pi^0_1$- and $\Sigma^0_1$-complete sets of sentences”, Journal of Logic and Computation, 26:5 (2016), 1729–1741 |
| 21. |
Sergei P. Odintsov, Stanislav O. Speranski, “The lattice of Belnapian modal logics: special extensions and counterparts”, Logic and Logical Philosophy, 25:1 (2016), 3–33 |
|
| 2015 |
| 22. |
Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174 |
|
| 2013 |
| 23. |
Stanislav O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Archive for Mathematical Logic, 52:5–6 (2013), 507–516 |
| 24. |
С. О. Сперанский, “О схлопывании вероятностных иерархий. I”, Алгебра и логика, 52:2 (2013), 236–254 ; S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171 |
| 25. |
S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Сиб. электрон. матем. изв., 10 (2013), 517–534 |
| 26. |
Stanislav O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055 |
| 27. |
S. P. Odintsov, S. O. Speranski, “Computability issues for adaptive logics in multi-consequence standard format”, Studia Logica, 101:6 (2013), 1237–1262 |
|
| 2012 |
| 28. |
Sergei P. Odintsov, Stanislav O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, Logic and Logical Philosophy, 21:3 (2012), 209–228 |
|
| 2011 |
| 29. |
С. О. Сперанский, “Квантификация по пропозициональным формулам в вероятностной логике: вопросы разрешимости”, Алгебра и логика, 50:4 (2011), 533–546 ; S. O. Speranski, “Quantification over propositional formulas in probability logic: decidability issues”, Algebra and Logic, 50:4 (2011), 365–374 |
| 30. |
С. О. Сперанский, “О вычислительных аспектах максимальной специфичности в вероятностном объяснении”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 78–93 |
| 31. |
С. О. Сперанский, “О логической непротиворечивости вероятностных предсказаний”, Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011), 99–115 |
|
