Доклад Раджаба Агамова "Логика топологических T_0 пространств в языке с модальностью неравенства"
Мероприятие завершено
14 апреля в 16.20 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Раджаб Агамов
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
"Логика топологических T_0 пространств в языке с модальностью неравенства" (ч. 2)
Аннотация:
В докладе мы рассмотрим пропозициональную модальную логику с двумя модальными операторами. Первый будет интерпретироваться как оператор взятия внутренности, а второй как отношение неравенства. Мы рассмотрим логику S4DT_0, докажем, что она является логикой всех T_0- пространств и обладает свойством финитной аппроксимируемости.
Zoom
Идентификатор конференции: 951 6621 6579
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru
Дата
14 апреля
16:20
В статье упомянуты
Персоны