📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг 10 декабря, начало в 17:45, состоится доклад
Sergei Artemov, Graduate Center CUNY, New York
Epistemic Models as the Observable Fragments of Kripke Models
Epistemic reading of Kripke models relies on a hidden assumption of common knowledge of the model which is too restrictive in epistemic contexts. We explore possible worlds epistemic models in their full generality without common knowledge of the model assumptions and show that an epistemic model can be identified as an “observable fragment" of some Kripke model. We sketch a corresponding theory and argue that it offers a new level of conceptual clarity in epistemic modeling. Similar analysis applies to intuitionistic models.
The language (English or Russian) will be decided on spot by audience preferences.
С.Н.Артемов, Центр докторантуры Университета Нью-Йорка
Эпистемические модели как обозреваемые фрагменты моделей Крипке
Эпистемическая интерпретация моделей Крипке скрытно предполагает общее знание модели, что существенно ограничивает возможности их применения в эпистемологии. Мы исследуем эпистемические модели возможных миров в самом общем случае, без предположения общего знания модели, и показываем, что каждая такая эпистемическая модель является “обозреваемым фрагментом” некоторой модели Крипке. Мы обсудим начала соответствующей теории и покажем, что они приводят к новому уровню ясности в эпистемическом моделировании. Подобный анализ применим и к интуиционистским моделям.
Английские слайды, язык доклада (русский или английский) будет выбран по желанию слушателей.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCXВеб-страница с аннотациями и слайдами:
http://lpcs.math.msu.su/rus/ml.htmДля получения ссылки на зум-конференцию пишите на почту
aleksandr.zapryagaev@yandex.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!