С.О. Сперанский, "Введение в модальную логику"

Лекция 2

Europe/Moscow
Zoom

Zoom

Description

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