Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное! Прочитать статью к пятнице, 9 августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве. Статья в первом комменте. Сервер: https://discord.gg/Pa4az2e7MC