Sciact
  • EN
  • RU
Profile

Одинцов Сергей Павлович

Сотрудник

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

Статьи - 12 , Тезисы докладов - 11 , Доклады на конференциях - 16


Статьи (12) Подробнее

1 Вишнева А.Г. , Одинцов С.П.
Модальные напарники специальных расширений конструктивной логики Нельсона
Математические заметки. 2025. Т.117. №3. С.344–364. DOI: 10.4213/mzm14305 OpenAlex
2 Fazio D. , Odintsov S.P.
An Algebraic Investigation of the Connexive Logic C
Studia Logica. 2024. V.112. N1-2. P.37–67. DOI: 10.1007/s11225-023-10057-2 WOS Scopus РИНЦ OpenAlex
3 Anishchenko D.M. , Odintsov S.P.
On extensions of minimal logic with linearity axiom (О расширениях минимальной логики с аксиомой линейности)
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N2. P.852-865. DOI: 10.33048/semi.2024.21.056 WOS Scopus
4 Odintsov S. , Wansing H.
Routley Star and Hyperintensionality
Journal of Philosophical Logic. 2021. V.50. N1. P.33-56. DOI: 10.1007/s10992-020-09558-5 WOS Scopus OpenAlex
5 Odintsov S. , Skurt D. , Wansing H.
Connexive Variants of Modal Logics Over FDE
Outstanding Contributions to Logic. 2021. V.21. P.295 - 318. DOI: 10.1007/978-3-030-71258-7_13 Scopus OpenAlex
6 Odintsov S.P. , Speranski S.O.
Belnap-dunn modal logics: Truth constants VS. truth values
Review of Symbolic Logic. 2020. V.13. N2. P.416-435. DOI: 10.1017/S1755020319000121 WOS Scopus OpenAlex
7 Ershov Y.L. , Goncharov S.S. , Mazurov V.D. , Baizhanov B.S. , Kulpeshov B.S. , Alaev P.E. , Vasil'ev A.V. , Vasil'ev E.V. , Vdovin E.P. , Verbovskii V.V. , Vikent'ev A.A. , Vlasov D.Y. , Grechkoseeva M.A. , Zhelyabin V.N. , Kolesnikov P.S. , Kopytov V.M. , Maksimova L.L. , Mal'tsev I.A. , Morozov A.S. , Nikitin A.A. , Ovchinnikova E.V. , Odintsov S.P. , Pal'chunov D.E. , Peryazev N.A. , Pinus A.G. , Pobedin L.N. , Pozhidaev A.P. , Poizat B. , Puzarenko V.G. , Revin D.O. , Remeslennikov V.N. , Romanovskii N.S. , Ryaskin A.N. , Starchenko S.S. , Stepanova A.A. , Sudoplatov S.V. , Timoshenko E.I. , Tusupov D.A. , Khisamiev N.G. , Churkin V.A. , Chatzidakis Z. , Shegirov K.M. , Shestakov I.P.
Evgenii Andreevich Palyutin (1945–2018)
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019. Т.16. С.А.1-А.10. DOI: 10.33048/semi.2019.16.028 WOS OpenAlex
8 Odintsov S.P. , Skurt D. , Wansing H.
On definability of connectives and modal logics over FDE
В сборнике Logic and Logical Philosophy. 2019. – C.631-659. DOI: 10.12775/LLP.2019.010 Scopus OpenAlex
9 Vityaev E. , Odintsov S.
How to predict consistently?
Studies in Computational Intelligence. 2019. V.796. P.35-41. DOI: 10.1007/978-3-030-00485-9_4 Scopus OpenAlex
10 Odintsov S.P. , Speranski S.O. , Shevchenko I.Y.
Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability
Studia Logica. 2018. V.106. N3. P.637-670. DOI: 10.1007/S11225-017-9760-X WOS Scopus OpenAlex
11 Odintsov S.
Maksimova, relevance and the study of lattices of non-classical logics
Outstanding Contributions to Logic. 2018. V.15. P.1-20. DOI: 10.1007/978-3-319-69917-2_1 Scopus OpenAlex
12 Odintsov S.P. , Wansing H.
Disentangling FDE-based paraconsistent modal logics
Studia Logica. 2017. V.105. N6. P.1221-1254. DOI: 10.1007/s11225-017-9753-9 WOS Scopus OpenAlex

Тезисы докладов (11) Подробнее

1 Одинцов С.П. , Анищенко Д.М.
Сильная и слабая определимость в логиках с сильным отрицанием
В сборнике IV Конференция математических центров России, Сборник тезисов. 2024. – C.281. – ISBN 978-5-9651-1578-5.
2 ANISHCHENKO D. , Odintsov S.P.
Johansson’s logic with Dummett’s axiom and its extensions
В сборнике Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.111. РИНЦ
3 Drobyshevich S.A. , Odintsov S.P. , Wansing H.
Moisil's modal logic and bi-intuitionistic logic
В сборнике Двенадцатые Смирновские чтения по логике. – Изд-во «Русское общество истории и философии науки», 2021.., 2021. – C.36-39. – ISBN 978-5-6045557-8-1.
4 Odintsov S. , Vishneva A.
On modal counterparts for special N4⊥-extensions
В сборнике Международная конференция «Мальцевские чтения». 20–24 сентября 2021 г. : Тезисы докладов. – ИМ СО РАН, НГУ., 2021. – C.63.
5 Drobyshevich S. , Odintsov S. , Wansing H.
Moisil’s modal logic and related systems
В сборнике Международная конференция «Мальцевские чтения». 20–24 сентября 2021 г. : Тезисы докладов. – ИМ СО РАН, НГУ., 2021. – C.62.
6 Odintsov S.P. , Kolbasenko E.G.
Twist-structure semantics for connexive logic C
В сборнике Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 16–20 ноября 2020 г. Тезисы докладов. 2020. – C.116.
7 ODINTSOV S.P.
On constructive versions of independence friendly logic
В сборнике Logical Perspectives 2018. – Euler International Mathematical Institute., 2018. – C.22.
8 Odintsov S.
Twist structure semantics for Fisher Servi‘s version of Belnapian modal logic
В сборнике The Logika Yearbook 2018. – Logic Department Institute of Philosophy of the CAS., 2018. – C.161-176.
9 Odintsov S.P.
Heyting–Ockham logic and hyperintentionality
В сборнике Международная конференция «Мальцевские чтения», 19-22 ноября 2018 г. : Тезисы докладов. – ИМ СО РАН, НГУ., 2018. – C.25.
10 Odintsov S.P.
On algebraic semantics for Fisher Servi’s version of BK
В сборнике Международная конференция «Мальцевские чтения», 19-22 ноября 2018 г. : Тезисы докладов. – ИМ СО РАН, НГУ., 2018. – C.233.
11 Odintsov S.P. , Speranski, S.O. , Shevchenko I.Y.
On realizability semantics for independence friendly logic
В сборнике Десятые Смирновские чтения по логике. – «Современные тетради»., 2017. – C.32. – ISBN 978-5-88289-445-9.

Доклады на конференциях (16) Подробнее

1 Одинцов С.П. , Анищенко Д.М.
Сильная и слабая определимость в логиках с сильным отрицанием
IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН. 06-11 авг. 2024
2 Одинцов С.П.
Об алгебраической семантике коннексивных логик
Мальцевские чтения : Международная конференция 13-17 нояб. 2023
3 ANISHCHENKO D. , Odintsov S.
Johansson’s logic with Dummett’s axiom and its extensions
Мальцевские чтения : Международная конференция 13-17 нояб. 2023
4 Одинцов С.П.
Об алгебраической семантике логик без правил замены: конструктивная N4 и коннексивная C
Третья конференция Математических центров России 10-15 окт. 2023
5 Дробышевич С.А. , Одинцов С.П. , Wansing H.
Логика Мойсила и связанные с ней системы
XII Международная научная конференция «Интеллектуальные системы и компьютерные науки» 29 нояб. - 3 дек. 2021
6 Drobyshevich S. , Odintsov S. , Wansing H.
Moisil’s modal logic and related systems
Международная конференция «Мальцевские чтения» 20-24 Sep 2021
7 Odintsov S. , Vishneva A.
On modal counterparts for special N4⊥-extensions
Международная конференция «Мальцевские чтения» 20-24 Sep 2021
8 Drobyshevich S.A. , Odintsov S.P. , Wansing H.
Moisil's modal logic and bi-intuitionistic logic
Смирновские чтения 24-26 Jun 2021
9 Odintsov S.P. , Kolbasenko E.G.
Twist-structure semantics for connexive logic C
Международная конференция «Мальцевские чтения» 16-19 Nov 2020
10 Odintsov S.P.
From `Star' and `Perp' to HYPE via WFS. A logical journey
The Ninth Conference: Non-Classical Logic. Theory and Applications 24-27 Sep 2018
11 Odintsov S.P.
Heyting–Ockham logic and hyperintentionality
Международная конференция «Мальцевские чтения» 19 Aug - 22 Nov 2018
12 Odintsov S.P.
On algebraic semantics for Fisher Servi’s version of BK
Международная конференция «Мальцевские чтения» 19 Aug - 22 Nov 2018
13 Odintsov S.
Twist structure semantics for Fisher Servi‘s version of Belnapian modal logic
International Conference «Logica 2018» 18-22 Jun 2018
14 Odintsov S.P.
On constructive versions of independence friendly logic
Logical Pespectives 2018 14-18 May 2018
15 Odintsov S. , Wansing H.
FDE-Modalities and weak definability
Workshop on Proof Theory, Modal Logic and Reflection Principles 17-20 Oct 2017
16 Odintsov S.P. , Speranski S.O. , Shevchenko I.Y.
On realizability semantics for independence friendly logic
"Десятые Смирновские чтения по логике" 15-17 Jun 2017

Внешние ссылки

Scopus ID: 8931755700
ResearcherID: G-1320-2019
MathNet: 217626

Ученые степени

2007 - Доктор наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел