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

摘要：

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

关键词：多模态逻辑、公理化、可分离性、交互作用

分类号：B813(逻辑学(论理学))

资助基金：河北省社会科学基金青年项目HB14ZX012；河北省教育厅青年项目SQ141127；河北大学人文社会科学研究项目1309132的阶段性成果。

在线出版日期：2014-10-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：19-23