#матлог #наука #спецсеминар #не_мехмат #МГУ

Научно-исследовательский семинар кафедры логики философского факультета МГУ "Современная логика"

Дата, время и аудитория: 17.04.2025 (чт) в 13.30 в г354it.
Место: Шуваловский корпус МГУ
Докладчик: С. О. Сперанский (МИАН)
Название: О кванторной версии модальной логики Белнапа–Данна
Аннотация: Речь пойдёт о кванторной версии пропозициональной модальной логики BK из статьи С.П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) четырёхзначная система Белнапа–Данна; эта версия будет обозначаться через QBK. В ходе доклада мы обсудим адаптацию метода канонических моделей для QBK и её расширений. В частности, с помощью этой адаптации получается теорема о сильной полноте для QBK относительно подходящей семантики возможных миров.

Доклад основан на совместной статье:
A.V. Grefenshtein, S.O. Speranski. On the quantified version of the Belnap–Dunn modal logic. Sbornik: Mathematics 215(3), 323–354, 2024. https://doi.org/10.4213/sm9981e

По вопросам прохода в корпус пишите на почту ivan.slusarev@mail.ru или в тг @ivanslsrv (лучше до этой среды включительно).

➰ ВК