Доклад Данияра Шамканова "О логиках свидетельств"
Мероприятие завершено
5 июня в 18:00 на исследовательском семинаре "From the logical point of view" выступит Данияр Шамканов.
Логики свидетельств, введенные С.Н. Артемовым, представляют собой семейство эпистемических логик, в которых модальную формулу "бокс" A заменяют на t : A, интерпретируя данное выражение как “t является обоснованием (свидетельством) для A”. В докладе мы представим обзор результатов, связанных с данными эпистемическими логиками, коснувшись таких тем, как теоремы о реализации и семантика Крипке-Фиттинга. Возможно, мы также успеем обcудить теорему Кузнеца о самоссылочных реализациях логики K4 и циклические выводы в логике свидетельств JGL.
Регистрация: Участие в семинаре открыто для всех желающих.Дата
5 июня
18:00
Адрес
Старая Басманная ул., д.21/4 - Корпус Б, ауд. Б-514
В статье упомянуты
Персоны
Шамканов Данияр Салкарбекович
Базовая кафедра Математического института им. В.А. Стеклова РАН: Доцент