Sciact
Toggle navigation
  • EN
  • RU

Sections:

  • Articles
  • Books
  • Conference attendances
  • Conference theses
  • Patents

Conference theses (13)

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

1   /  1   -  Total 13 records

Filter

Order

Field Direction

Columns

Reset