📖Заседание теоретического семинара «Формальная философия»

👤 Доклад по теме «Логика SSL и ее сложность» представит А.В. Кудинов (НИУ ВШЭ).

📌Доклад посвящён логике подмножеств пространства (Subset Space Logic, SSL) — бимодальной эпистемической логике с одной модальностью знания (K) и второй модальностью (\Box), соответствующей тому, что агент потратил какие-то ресурсы, чтобы увеличить свои знания.

📎Мероприятие пройдёт 3 июня в 18:10 в смешанном формате на ул. Старая Басманная, 21/4 (ауд. А-117) и в Zoom. Для участия необходимо зарегистрироваться по ссылке.

#МЛогЛингФФ@philosnote
#полезныематериалы@philosnote