Sergey Odintsov, a leading researcher at the S.L. Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences, made a presentation on "Moisil's Modal Logic and Related Systems" at the seminar "Formal Philosophy" on June 27.