模態夥伴

在邏輯中 ， 中間 邏輯 L 的模態夥伴是通過下面的特定規範變換解釋 L 的正規模態邏輯 。 模態夥伴共享最初中間邏輯的各種性質 ， 這確使使用爲模態邏輯開發的工具研究中間邏輯 。