О модальных напарниках K4

Строго позитивный фрагмент нормальной модальной логики - её фрагмент, состоящий из импликаций $A\to B$, где $A$ и $B$ построены из переменных и константы $\top$ c помощью связок "ромб" и конъюнкции. Две модальные логики будем называть модальными напарниками, если их строго позитивные фрагменты совпадают. В докладе будут рассмотрены некоторые расширения логики $\mathsf{K4}$ с помощью канонических формул Захарьящева; для них мы покажем, что они являются модальными напарниками $\mathsf{K4}$. Тем самым будет доказано, что логика $\mathsf{GL}$ не является максимальным модальным напарником $\mathsf{К4}$.