模态同伴

简介在逻辑学中，超直觉（中间）逻辑L的模态同伴是一种正常的模态逻辑，它通过某种典范的转换来解释L，描述如下。模态同伴共享原始中间逻辑的各种属性，这使...