Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Сперанский Станислав Олегович

Публикаций: 19 (19)
в MathSciNet: 15 (15)
в zbMATH: 15 (15)
в Web of Science: 15 (15)
в Scopus: 16 (16)
Цитированных статей: 17
Цитирований в Math-Net.Ru: 6
Цитирований в Web of Science: 45
Цитирований в Scopus: 72
Лекций и докладов: 8

Статистика просмотров:
Эта страница:3514
Страницы публикаций:1136
Полные тексты:383
Списки литературы:232
Сперанский Станислав Олегович
кандидат физико-математических наук (2013)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: http://www.mi-ras.ru/~speranski
Коды УДК: 510.2, 510.5, 510.6
   
Основные публикации:
  1. S. O. Speranski, “Negation as a modality in a quantified setting”, J. Log. Comput., 31:5 (2021), 1330–1355  crossref
  2. S. O. Speranski, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comp. Sci., 27:8 (2017), 1581–1600  crossref
  3. S. O. Speranski, “Notes on the computational aspects of Kripke’s theory of truth”, Stud. Logica, 105:2 (2017), 407–429  crossref
  4. S. O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref
  5. S. P. Odintsov, S. O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Rev. Symb. Log., 13:2 (2020), 416–435  crossref

http://www.mathnet.ru/rus/person71546
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:speranski.stanislav-o
https://mathscinet.ams.org/mathscinet/MRAuthorID/958860
http://orcid.org/0000-0001-6386-5632
http://www.researcherid.com/rid/L-2043-2016
https://www.scopus.com/authid/detail.url?authorId=55532074400
https://www.researchgate.net/profile/Stanislav_Speranski

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | общий список |



   2022
1. 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  mathnet  crossref  isi  scopus;

   2021
2. Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  mathnet  crossref  isi (cited: 1)  scopus (cited: 2)

   2020
3. S. P. Odintsov, S. O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435  mathnet  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 4)

   2019
4. L. Horsten, S. O. Speranski, “Reasoning about arbitrary natural numbers from a Carnapian perspective”, Journal of Philosophical Logic, 48:4 (2019), 685–707  crossref  mathscinet  zmath  isi  scopus (cited: 1)

   2018
5. S. P. Odintsov, S. O. Speranski, I. Yu. Shevchenko, “Hintikka's independence-friendly logic meets Nelson's realizability”, Studia Logica, 106:3 (2018), 637–670  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 2)

   2017
6. S. O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 2)
7. S. O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 3)

   2016
8. S. 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  crossref  mathscinet  zmath  isi (cited: 2)  scopus (cited: 2)
9. S. P. Odintsov, S. O. Speranski, “The lattice of Belnapian modal logics: special extensions and counterparts”, Logic and Logical Philosophy, 25:1 (2016), 3–33  crossref  mathscinet  zmath  isi (cited: 11)  scopus (cited: 13)

   2015
10. S. O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)

   2013
11. S. O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Archive for Mathematical Logic, 52:5–6 (2013), 507–516  crossref  mathscinet  zmath  isi (cited: 4)  scopus (cited: 4)
12. С. О. Сперанский, “О схлопывании вероятностных иерархий. I”, Алгебра и логика, 52:2 (2013), 236–254  mathnet (цит.: 1)  mathscinet  isi (цит.: 1); S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
13. S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Сиб. электрон. матем. изв., 10 (2013), 517–534  mathnet (цит.: 1)  crossref  mathscinet  zmath  scopus (цит.: 3)
14. S. O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055  crossref  mathscinet  zmath  isi (cited: 5)  scopus (cited: 5)
15. S. P. Odintsov, S. O. Speranski, “Computability issues for adaptive logics in multi-consequence standard format”, Studia Logica, 101:6, Advances in Philosophical Logic (2013), 1237–1262  crossref  mathscinet  zmath  isi (cited: 9)  scopus (cited: 12)

   2012
16. S. P. Odintsov, S. O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, Logic and Logical Philosophy, 21:3 (2012), 209–228  crossref  mathscinet  zmath  scopus (cited: 13)

   2011
17. С. О. Сперанский, “Квантификация по пропозициональным формулам в вероятностной логике: вопросы разрешимости”, Алгебра и логика, 50:4 (2011), 533–546  mathnet (цит.: 3)  mathscinet  zmath  isi (цит.: 3); S. O. Speranski, “Quantification over propositional formulas in probability logic: decidability issues”, Algebra and Logic, 50:4 (2011), 365–374  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 4)
18. С. О. Сперанский, “О вычислительных аспектах максимальной специфичности в вероятностном объяснении”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 78–93  mathnet
19. С. О. Сперанский, “О логической непротиворечивости вероятностных предсказаний”, Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011), 99–115  mathnet (цит.: 1)

Доклады и лекции в базе данных Math-Net.Ru
1. Monadic second-order definability in weak arithmetics
С. О. Сперанский
Конференция международных математических центров мирового уровня
10 августа 2021 г. 15:20
2. Infinitary action logic with exponentiation
S. L. Kuznetsov, S. O. Speranski
Logical Perspectives 2021: Summer School and Workshop
18 июня 2021 г. 12:30   
3. A Computational Perspective on Reasoning about Probability Spaces
S. Speranski
SIMC Welcomes Postdocs-2020
23 апреля 2021 г. 11:00   
4. Negation as a modality in a quantified setting
S. O. Speranski
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
20 апреля 2020 г. 18:30   
5. Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
С. О. Сперанский
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 16:00   
6. On the computational aspects of Kripke's theory of truth
S. Speranski
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г. 15:35   
7. О вычислительных аспектах теории истины по Крипке
С. О. Сперанский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 апреля 2017 г. 18:30
8. Некоторые новые результаты в монадической арифметике второго порядка
С. О. Сперанский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 сентября 2015 г. 18:30

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021