Библиографическая редкость!
Модальная логика занимается изучением так называемых модальностей - прежде всего необходимости и возможности: того, что "должно быть", и того, что "может быть".
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий.
Одна из лучших монографий по модальной логике. Книга содержит наиболее полное на сегодняшний день, прекрасно построенное и согласованное изложение материала по неклассическим логикам. Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки естественных языков, экспертными и управляющими системами и т. д.
