位置:成果数据库 > 期刊 > 期刊详情页
组合模态逻辑
  • ISSN号:2096-0239
  • 期刊名称:《贵州工程应用技术学院学报》
  • 时间:0
  • 分类:B81[哲学宗教—逻辑学]
  • 作者机构:[1]毕节学院,贵州毕节551700, [2]西南大学,重庆400715
  • 相关基金:贵州省社科规划项目“动态信息和集合论的应用研究”成果之一,项目编号12GZYB63;贵州省优秀科技教育人才省长专项资金项目“动态信息和集合论视野下的博弈逻辑研究”成果之一;贵州省科技厅联合基金项目“基于逻辑视域的动态信息研究”成果之一,项目编号:黔科合J字LKB[2012124号;贵州省教育厅一般项目“动态信息视域下的认知概率逻辑研究”成果之一;毕节学院高层次人才项目“信息动态和集合论在博弈论中的应用研究”,项目编号:G2012003
作者: 董英东[1,2]
中文摘要:

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

英文摘要:

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.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《贵州工程应用技术学院学报》
  • 主管单位:贵州工程应用技术学院
  • 主办单位:贵州工程应用技术学院
  • 主编:向贤礼
  • 地址:贵州省毕节市七星关区学院路
  • 邮编:551700
  • 邮箱:bjxyxb@163.com
  • 电话:0857-8330404
  • 国际标准刊号:ISSN:2096-0239
  • 国内统一刊号:ISSN:52-5036/Z
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:38