Работа подсекции «Логика»
Кожемяченко Даниил Андреевич. Доклад: "Симуляция непрямых правил вывода в классических пропозициональных исчислениях"
Никанорова Мария Михайловна. Доклад: "Об интенсиональных семантиках для систем позитивной силлогистики"
Петрухин Ярослав Игоревич. Доклад: "Об одной паранепротиворечивой модификации логики Гёделя-Даммита"
Пиманов Артем Сергеевич. Доклад: "Метод фильтрации как способ доказательства свойства разрешимости во временных логиках"
Рывкина Мария Станиславовна. Доклад: "Применение теории игр в коммуникации: сигнальные игры и интерпретация ответов"
Шишов Константин Васильевич. Доклад: "Вероятностная семантика для логики QCL"
Участники
![Пиманов Артем Сергеевич](https://lomonosov-msu.ru/media/cache/user_photo_130_outbound/blank/user_photo.jpg)
![Кожемяченко Даниил Андреевич](https://lomonosov-msu.ru/media/cache/user_photo_130_outbound/blank/user_photo.jpg)
![Рывкина Мария Станиславовна](https://lomonosov-msu.ru/media/cache/user_photo_130_outbound/file/user/image/source/138/137439/s_9ea4c8e448fc7410672f47d481c08cd8c1085f2d.jpg)
![Петрухин Ярослав Игоревич](https://lomonosov-msu.ru/media/cache/user_photo_130_outbound/blank/user_photo.jpg)
![Шишов Константин Васильевич](https://lomonosov-msu.ru/media/cache/user_photo_130_outbound/file/user/image/source/39/38645/s_c6a3c884fbf74b591a0835a37279f2501c48a906.jpeg)
![Легейдо Мария Михайловна](https://lomonosov-msu.ru/media/cache/user_photo_130_outbound/file/user/image/source/106/105656/s_617f5790214dfb89ed9c812660706800b8f04537.jpg)
11:00 ‐ 18:00
Шуваловский корпус, ауд. Г-340
Ломоносовский проспект, д. 27, корп. 4
Логика