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