尔变换有框架理论对应者。设 formula_21 是自反传递模态一般框架，预序 "R" 引发在 "F" 上的等价关系它的等同点属于同一个簇(cluster)。设 formula_23 是引发的商偏序 (就是说 ρ"F" 是 formula_24 的等价类的集合)，并置则 formula_26 是直觉一般框架，叫做 F 的骨架(skeleton)。骨架构造的点是那些保持有效模哥德尔变换的点: 对于任何直觉公式 "A"，所以模态逻辑 "M" 的 si-片段可以语义上定义为: 如果 "M" 关于传递自反一