Фейс Р. Модальная логика

Учебник. — Перевод с англ. Ю.А. Петрова, Ю.А. Гастева и др. — Под ред. и с дополн. Г.Е. Минца. — М.: Наука, Главная редакция физико-математической литературы, 1974. — 520 с. — (Математическая логика и основания математики).Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности, того, что «должно быть», и того, что «может быть».
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий. В качестве основы для книги использован наиболее полный из известных обзоров формальных систем модальной логики книга Р. Фейса «Модальная логика» изданная в 1965 г. В качестве дополнений использованы работы С.А. Крипке и К. Шютте.