Добавлены видеозаписи:

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

24 августа 2026 г.
- V. V. Rybakov, Admissible inference rules, projective formulas unification in multi-agent modal logics.

25 августа 2026 г.
- M. Baaz, The power of quantifier shifts.
- Yanjing Wang, Problem semantics for intuitionistic logic.
- N. K. Vereshchagin, Goodman–Strauss theorem revisited.
- B. F. Bauwens, Solomonoff induction of selected bits and online classification.

#Конференции #Novikov125