Предыстория и обзор модальностей в логике. Несколько общих слов об областях применения модальной логики в различных областях (теория графов, топология, CS, теория игр, etc)

Модальный язык, шкала Крипке, модель Крипке, определение истинности в моделях Крипке Примеры моделей Крипке Модальные формулы и соотвествующие им свойства шкал Понятие логики шкалы, логики класса шкал Понятие \(p\)-морфизма Пример невыразимого в модальном языке свойства шкал