Odintsov Sergei Pavlovich

Presentations in Math-Net.Ru

1. Constructive logic N4 and connexive logic C: similarities and differences
   S. P. Odintsov
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 23, 2023 18:30   
2. Equations, fixed points, and nonclassical logics
   S. P. Odintsov
   Mathematical Colloquium of the Sobolev Institute of Mathematics
   May 11, 2023 16:30
3. On constructive versions of independence-friendly logic
   Sergei P. Odintsov
   Logical Perspectives 2018
   May 18, 2018 17:50   
4. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)
   S. Odintsov
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 20, 2017 15:00