多模态公理化系统的可分离性研究

摘要

多模态逻辑包含两种或两种以上模态算子,且算子间不可归约。多模态公理化系统的可分离性是指已知任意多模态公理化系统及其语言中的任意算子O,能否得到与O相关的子公理化系统？或者,具有何种性质的多模态逻辑系统可以看作是多个（单）模态逻辑系统的叠加？通过考察多模态公理化系统及其子系统的性质,表明不包含交互作用的多模态公理化系统是可分离的。