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

Доклады и лекции в базе данных Math-Net.Ru

1. Answer Set Semantics and its Logical Aspects
   С. П. Одинцов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   8 декабря 2025 г. 16:00   
2. Лекция 4. Алгебраические методы в неклассических логиках
   С. П. Одинцов
   Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
   2 ноября 2023 г. 16:00   
3. Лекция 3. Алгебраические методы в неклассических логиках
   С. П. Одинцов
   Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
   1 ноября 2023 г. 16:00   
4. Лекция 2. Алгебраические методы в неклассических логиках
   С. П. Одинцов
   Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
   26 октября 2023 г. 16:00   
5. Лекция 1. Алгебраические методы в неклассических логиках
   С. П. Одинцов
   Мини-курс С. П. Одинцова «Алгебраические методы в неклассических логиках»
   25 октября 2023 г. 16:00   
6. Конструктивная логика N4 и коннексивная C: сходства и различия
   С. П. Одинцов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   23 октября 2023 г. 18:30   
7. Уравнения, неподвижные точки, неклассические логики
   С. П. Одинцов
   Математический коллоквиум ИМ СО РАН
   11 мая 2023 г. 16:30
8. On constructive versions of independence-friendly logic
   Sergei P. Odintsov
   Logical Perspectives 2018
   18 мая 2018 г. 17:50   
9. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)
   S. Odintsov
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   20 октября 2017 г. 15:00