Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: https://homepage.mi-ras.ru/~speranski
Ключевые слова: логика, вычислимость, основания математики.
Коды УДК: 510.2, 510.5, 510.6

Основные темы научной работы:

Мои основные научные интересы лежат в области логики, вычислимости и оснований математики.

Основные публикации:

1. S. O. Speranski, “On the decision problem for quantified probability logics”, Izvestiya: Mathematics, 89:3 (2025), 609–627  
2. S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 33:3 (2024), jzae114, 21 pp.  
3. S. L. Kuznetsov, S. O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057, 29 pp.  
4. S. O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  
5. S. P. Odintsov, S. O. Speranski, “Belnap–Dunn modal logics: Truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435  
6. S. O. Speranski, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica, 105:2 (2017), 407–429  
7. S. O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  

Публикации

Доклады и лекции

Персональные страницы:

• 
• 
• 
• 
• 
• 
• 
• 

Организации:

• Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук
• Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)
• Математический институт им. В.А. Стеклова Российской академии наук
• Санкт-Петербургский государственный университет
• Новосибирский государственный университет