在逻辑中,中间(超直觉)逻辑 L 的模态伙伴是通过下面的特定规范变换解释 L 的正规模态逻辑.模态伙伴共享最初中间逻辑的各种性质,这确使使用为模态逻辑开发的工具研究中间逻辑.设 A 是命题直觉公式.模态公式 T(A)通过在 A 的复杂性上的归纳来定义: 对于任何命题变量 , , , , . 直觉逻辑中的否定定义为 ,我们还有 . 叫做哥德尔变换或哥德尔-McKinsey-塔斯基变换.这个变换有时以稍微不同的方式来定义: 例如,我们可以在所有子公式前插入 .所有变体都被证明在 S4 中等价. 对于扩展 S4 的任何正规模态逻辑 M,我们定义它的 si-片段 ρM 为 . 任何 S4 的正规扩展的 si-片段是中间逻辑.