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