Александр Герасимов//Бесконечнозначная первопорядковая логика Лукасевича.
1:27:40
Станислав Сперанский//Сильная неразрешимость и первая теорема Гёделя о неполноте
1:41:31
Никита Лукашов//Допустимые правила в модальных логиках
1:44:28
Артем Сергеевич Пиманов//овременные модификации онтологических структур времени
1:15:13
Сергей Павлович Одинцов//Слабо импликативные логики
1:21:56
Александр Герасимов //Бесконечнозначная первопорядковая логика Лукасевича: ...
1:24:56
Borja Sierra//Non-wellfounded master modality: from cut admissibility to cut elimination.
1:37:26
Абдуламин Исмаилов//Введение в теорию типов
1:30:52