НИС "Современные проблемы математической логики" в ВШЭ. Дата и время: 04.10.2024 в 16:20 Докладчик: Елена Попова Название: Логика свидетельств: обзор Аннотация. Доклад будет посвящен обзору логик свидетельств. Это явные аналоги модальных логик, в которых вместо модальности \Box используются выражения вида "t:ф", где t -- свидетельский терм. Они интерпретируются как "t есть свидетельство в пользу ф". Первая пропозициональная логика свидетельств LP, введенная С.Н. Артёмовым в 1995 году, соответствует модальной логике S4 (см. [1]). Дальнейшие исследования (см. [2] в качестве обзорной работы) описывают логики свидетельств для модальных систем K, KT, K4 и других. Семантика для этих логик была определена и изучена С.Н. Артёмовым и М. Фиттингом. В докладе мы опишем наиболее известные логики свидетельств, их свойства и семантику для них. Также планируется обсудить логику свидетельств первого порядка. Мы опишем синтаксис этой логики, её семантику и связь с модальной логикой предикатов. 1. Artemov S. N. Operational Modal Logic : tech. rep. / Mathematical Sciences Institute, Cornell University. 1995. No. 95–29. 2. Artemov S. N., Fitting M. Justification Logic: Reasoning with Reasons. Cambridge University Press, 2019.
