Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Сайт: https://homepage.mi-ras.ru/~speranski Ключевые слова: логика, вычислимость, основания математики
Коды УДК: 510.2, 510.5, 510.6
Основные темы научной работы:
Мои основные научные интересы лежат в области логики, вычислимости и оснований математики.
Основные публикации:
S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114, 21 pp.
_____, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042, 23 pp.
_____, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355
_____, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica, 105:2 (2017), 407–429
_____, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174
S. L. Kuznetsov, _____, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057, 29 pp.
