Модальная логика

Модальность. Язык модальной логики. Семантика Крипке. Выполнимость. Достижимость. Общезначимость. Структуры миров. Модальный шестиугольник и треугольник. Цитаты по книге: Логика: учебник для бакалавров. – Москва: Проспект, 2015