Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.

Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.

Встречаемся на нашем дискорд-сервере в воскресенье, 8 декабря, 19:00 по Москве, прочитать Preface.

Книга в первом комменте.