，要么有连续统的势。Rybakov 已经证明了格 Ext"L" 可以嵌入 formula_32 中，特别是，一个逻辑有连续统个模态伙伴，如果它有连续统个扩展(比如这杜宇在 KC 之下的所有中间逻辑成立)。它的逆命题是否成立仍未知。哥德尔变换可以应用于规则同公式一样: 规则的变换是规则规则 "R" 在逻辑 "L" 中是可接纳性的，如果 "L" 的定理的集合闭合在 "R" 下。容易看出 "R" 在中间逻辑 "L" 中是可接纳性的，只要 "T"("R") 在 "L" 的模态伙伴中是可接纳性的。逆命题一般不