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