Список публикаций

На главную страницу

English page

Об институте

Научная деятельность

Публикации

Правила оформления научных работ

Администрация

Ученый совет

Диссертационные советы

Отделы

Сотрудники

Аспирантура

Научно-образовательный центр

Базовая кафедра МФТИ

Базовая кафедра ФКН ВШЭ

Базовая кафедра матфака НИУ ВШЭ

Противодействие коррупции

Адрес института

Адрес: Россия, 119333, Москва, ул. Губкина, д. 8
Тел.: +7(495) 984 81 41
Сайт: www.mi-ras.ru
E-mail: steklov@mi-ras.ru

Посмотреть карту

Схема проезда

Сперанский Станислав Олегович
(публикации за последние годы)

по годам

научные публикации

по типам




2026
1.	S. O. Speranski, A. V. Grefenshtein, “On the complexity of first-order logics of probability”, Изв. РАН. Сер. матем., 90:4 (2026), 105–126 ; S. O. Speranski, A. V. Grefenshtein, “On the complexity of first-order logics of probability”, Izv. Math., 90:4 (2026), 754–775
2.	S. O. Speranski, “On the theory of weak probability spaces”, Algebra and Logic, 2026 (to appear)
3.	С. О. Сперанский, “О замыкающих ординалах инфинитарных вероятностных исчислений”, Матем. заметки, 120:3 (2026), 470–483

2025
4.	Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”, Log. J. IGPL, 33:3 (2025), jzae114, 21 pp.	5 ^[x]
5.	Stanislav O. Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Log. J. IGPL, 33:2 (2025), jzae042, 23 pp.	4 ^[x]
6.	S. O. Speranski, “On the decision problem for quantified probability logics”, Изв. РАН. Сер. матем., 89:3 (2025), 193–211 ; S. O. Speranski, “On the decision problem for quantified probability logics”, Izv. Math., 89:3 (2025), 609–627	4 ^[x]
7.	В. Е. Карпов, С. О. Сперанский, “О наследственно неразрешимых фрагментах базовых элементарных теорий”, Матем. заметки, 118:1 (2025), 77–90 ; V. E. Karpov, S. O. Speranski, “On hereditarily undecidable fragments of basic elementary theories”, Mathematical Notes, 118:1 (2025), 95–107
8.	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	1 ^[x]
9.	С. О. Сперанский, “О модификации Фиттинга теории истины по Крипке”, Докл. РАН. Матем., информ., проц. упр., 526 (2025), 36–39 ; S. O. Speranski, “On Fitting’s modification of Kripke’s theory of truth”, Doklady Mathematics, 2025 (to appear)
10.	С. Н. Артёмов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, С. П. Одинцов, В. В. Рыбаков, С. О. Сперанский, В. Б. Шехтман, В. Ф. Юн, “Лариса Львовна Максимова (некролог)”, УМН, 80:3(483) (2025), 179–182 ; S. N. Artemov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, S. P. Odintsov, V. V. Rybakov, S. O. Speranski, V. B. Shehtman, V. F. Yun, “Larisa L'vovna Maksimova (obituary)”, Russian Math. Surveys, 80:3 (2025), 533–536

2024
11.	А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 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 ^[x]
12.	С. О. Сперанский, Теория внутренних множеств: Аксиоматический подход к нестандартному анализу, Лекции летней школы «Современная математика», Издательство МЦНМО, Москва, 2024, 32 с. препринт

2023
13.	Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with multiplexing”, Studia Logica, 111:2 (2023), 251–280	6 ^[x]
14.	С. О. Сперанский, “Элементарные инварианты для кванторной вероятностной логики”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 8–12 ; S. O. Speranski, “Elementary invariants for quantified probability logic”, Doklady Mathematics, 107 (2023), 93–96

2022
15.	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	13 ^[x]
16.	С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 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	2 ^[x]
17.	S. O. Speranski, “Some remarks on Došen's logic N and its extensions”, Сиб. электрон. матем. изв., 19:2 (2022), 562–577

2021
18.	Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355	6 ^[x]
19.	С. О. Сперанский, “О модальной логике бирешёток и её расширениях”, Алгебра и логика, 60:6 (2021), 612–635 ; S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424	5 ^[x]

2020
20.	Sergei P. Odintsov, Stanislav O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435	11 ^[x]

2019
21.	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
22.	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
23.	Stanislav O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600	9 ^[x]
24.	Stanislav O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429	2 ^[x]

2016
25.	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	12 ^[x]
26.	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	12 ^[x]

2015
27.	Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174	6 ^[x]

2013
28.	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	13 ^[x]
29.	С. О. Сперанский, “О схлопывании вероятностных иерархий. I”, Алгебра и логика, 52:2 (2013), 236–254 ; S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171	1 ^[x]
30.	S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Сиб. электрон. матем. изв., 10 (2013), 517–534	3 ^[x]
31.	Stanislav O. Speranski, “Complexity for probability logic with quantiﬁers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055	11 ^[x]
32.	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
33.	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
34.	С. О. Сперанский, “Квантификация по пропозициональным формулам в вероятностной логике: вопросы разрешимости”, Алгебра и логика, 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	8 ^[x]
35.	С. О. Сперанский, “О вычислительных аспектах максимальной специфичности в вероятностном объяснении”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 78–93
36.	С. О. Сперанский, “О логической непротиворечивости вероятностных предсказаний”, Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011), 99–115	1 ^[x]

Полный список публикаций