Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Сайт: https://homepage.mi-ras.ru/~speranski Ключевые слова: логика, вычислимость, основания математики
Коды УДК: 510.2, 510.5, 510.6
Основные темы научной работы:
Мои основные научные интересы лежат в области логики, вычислимости и оснований математики.
Основные публикации:
S. O. Speranski, “On the decision problem for quantified probability logics”, Izvestiya: Mathematics, 89:3 (2025), 609–627
S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 33:3 (2024), jzae114, 21 pp.
S. L. Kuznetsov, S. O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057, 29 pp.
S. O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355
S. P. Odintsov, S. O. Speranski, “Belnap–Dunn modal logics: Truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435
S. O. Speranski, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica, 105:2 (2017), 407–429
S. O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174
