Описание:Модальная логика – активно развивающаяся дисциплина на стыке математики и информатики. Мы хотим познакомить слушателей с основными понятиями модальной логики и с рядом её приложений. Курс состоит из двух частей. В первой части мы рассмотрим базовые понятия модальной логики и сформулируем основные задачи, возникающие в этой науке (акцент мы сделаем на алгоритмических проблемах – разрешимости и вычислительной сложности). Во второй части мы используем описанный общий аппарат, чтобы познакомить слушателя с некоторыми конкретными приложениями модальной логики: мы рассмотрим темпоральные логики, используемые в верификации моделей программ, дескрипционные логики, применяемые для формального представления знаний, и пропозициональную динамическую логику программ.