组合模态逻辑

Combining Modal Logic

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

In general, any logical system having more than one connective can e considered as a combina-tion of logical systems having fewer connectives. In Particular, any muhimodal logic can be considered as a combination of, say, uni-modal logics. So, in this general sense, any result on multimodal logics can be con-sidered as a result on coming modal logics. The methods of combination Modal logic mainly including the fu-sion method and update product method.We can not construct more and more large logical system with Combi-nation of modal logic method ,but we should be used as a simple way to construct a logical system to meet our needs.