|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
|
2024 |
1. |
А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 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 |
2. |
Stanislav O. Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Log. J. IGPL, 2024, 1–23 (Published online) ; (Published online) |
3. |
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, Reasoning from hypotheses in $\ast$-continuous action lattices, 2024 , 41 pp., arXiv: 2408.02118 |
4. |
Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”, Log. J. IGPL, 2024, 1–21 (to appear) |
5. |
С. О. Сперанский, Теория внутренних множеств: Аксиоматический подход к нестандартному анализу, Лекции летней школы «Современная математика», Издательство МЦНМО, Москва, 2024 , 32 с. препринт |
|
2023 |
6. |
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with multiplexing”, Studia Logica, 111:2 (2023), 251–280
|
3
[x]
|
7. |
С. О. Сперанский, “Элементарные инварианты для кванторной вероятностной логики”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 8–12 ; S. O. Speranski, “Elementary invariants for quantified probability logic”, Doklady Mathematics, 107 (2023), 93–96 |
|
2022 |
8. |
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
|
7
[x]
|
9. |
С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 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 |
10. |
S. O. Speranski, “Some remarks on Došen's logic N and its extensions”, Сиб. электрон. матем. изв., 19:2 (2022), 562–577 |
|
2021 |
11. |
Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355
|
4
[x]
|
12. |
С. О. Сперанский, “О модальной логике бирешёток и её расширениях”, Алгебра и логика, 60:6 (2021), 612–635 ; S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424
|
2
[x]
|
|
2020 |
13. |
Sergei P. Odintsov, Stanislav O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435
|
9
[x]
|
|
2019 |
14. |
Leon Horsten, Stanislav O. Speranski, “Reasoning about arbitrary natural numbers from a Carnapian perspective”, Journal of Philosophical Logic, 48:4 (2019), 685–707
|
2
[x]
|
|
2018 |
15. |
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
|
1
[x]
|
|
2017 |
16. |
Stanislav O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600
|
5
[x]
|
17. |
Stanislav O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429
|
2
[x]
|
|
2016 |
18. |
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
|
5
[x]
|
19. |
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
|
5
[x]
|
|
2015 |
20. |
Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174
|
4
[x]
|
|
2013 |
21. |
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
|
10
[x]
|
22. |
С. О. Сперанский, “О схлопывании вероятностных иерархий. I”, Алгебра и логика, 52:2 (2013), 236–254 ; S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171
|
1
[x]
|
23. |
S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Сиб. электрон. матем. изв., 10 (2013), 517–534
|
2
[x]
|
24. |
Stanislav O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055
|
7
[x]
|
25. |
S. P. Odintsov, S. O. Speranski, “Computability issues for adaptive logics in multi-consequence standard format”, Studia Logica, 101:6 (2013), 1237–1262
|
7
[x]
|
|
2012 |
26. |
Sergei P. Odintsov, Stanislav O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, Logic and Logical Philosophy, 21:3 (2012), 209–228
|
2
[x]
|
|
2011 |
27. |
С. О. Сперанский, “Квантификация по пропозициональным формулам в вероятностной логике: вопросы разрешимости”, Алгебра и логика, 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
|
5
[x]
|
28. |
С. О. Сперанский, “О вычислительных аспектах максимальной специфичности в вероятностном объяснении”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 78–93 |
29. |
С. О. Сперанский, “О логической непротиворечивости вероятностных предсказаний”, Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011), 99–115
|
1
[x]
|
|