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