受 NExtGrz 的限制叫做 Blok–Esakia 同构。Blok–Esakia 定理的一个重要推论是最大伙伴的简单语法描述: 对于所有中间逻辑 "L"，
语义描述.哥德尔变换有框架理论对应者。设 formula_21 是自反传递模态一般框架，预序 "R" 引发在 "F" 上的等价关系它的等同点属于同一个簇(cluster)。设 formula_23 是引发的商偏序 (就是说 ρ"F" 是 formula_24 的等价类的集合)，并置则 formula_26 是直觉一般