Модальная логика Серия: Математическая логика и основания математики инфо 10464t.

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





0