模态伙伴 在逻辑中中间超直觉逻辑 L 的模态伙伴是通过下面的特定规范变换解释 L 的正规模态逻辑模态伙伴共享最初中间逻辑的各种性质这确使使用为模态逻辑开发的工具研究中间逻辑