组合模态逻辑相关硕士博士期刊学术论文

通常情况下，不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地，任意的多模态逻辑都可以......