论文部分内容阅读
通常情况下，不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地，任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以，在该层含义下，任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法，主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法，不能随意地构造越来越庞大的逻辑系统，而应该采用尽量简单的方法，构造出符合需要的逻辑系统。