Аннотация: Монография Р. Фейса представляет собой самый полный из имеющихся в мировой литературе обзор формальных систем модальной логики. Изложение материала, при всей своей строгости, вполне элементарно и не требует, по существу, от читателя никаких предварительных познаний в области логики. Русское издание книги Фейса снабжено приложениями: переводами известных работ С.Крипке и К.Шютте, посвященных самым современным исследованиям в данной области - вопросам семантики и полноты модальных исчислений, а также обзором редактора перевода Г.Е.Минца, резюмирующим исследования последних лет. В результате книга стала единственным в своем роде по полноте справочным изданием по рассматриваемому кругу проблем. Книга представляет значительный интерес как для специалистов в области математической логики и смежных разделов математики, так и для представителей других наук: философов, юристов, лингвистов и др. Пометки на форзаце книги.