在逻辑中，中间(超直觉)逻辑 "L" 的模态伙伴是通过下面的特定规范变换解释 "L" 的正规模态逻辑。模态伙伴共享最初中间逻辑的各种性质，这确使使用为模态逻辑开发的工具研究中间逻辑。
哥德尔–McKinsey–塔斯基变换.设 "A" 是命题直觉公式。模态公式 "T"("A")通过在 "A" 的复杂性上的归纳来定义:直觉逻辑中的否定定义为 formula_7，我们还有formula_9 叫做哥德尔变换或哥德尔–McKinsey–塔斯基变换。这个变换有时以稍微不同的方式来定义: 例