k 逻辑 Grz，公理化自在 K 上的公理经典模态逻辑(CPC)的最小模态伙伴是 Lewis 的 S5，而它的最大模态伙伴是逻辑更多的例子:
Blok–Esakia 同构.中间逻辑 "L" 的扩展的集合按包含排序形成了一个完全格，指示为 Ext"L"。类似的模态逻辑 "M" 的正规扩展的集合形成了完全格 NExt"M"。伙伴算子 ρ"M"、τ"L" 和 σ"L" 可以被认为是在格 ExtIPC 和 NExtS4 之间的映射:容易看出所有这三个都是单调的，并且 formula_