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