| 组合模态逻辑 |
| |
| 引用本文： | 董英东.组合模态逻辑[J].毕节学院学报,2013,31(8):1-7. |
| |
| 作者姓名： | 董英东 |
| |
| 作者单位： | 毕节学院,贵州毕节551700;西南大学,重庆400715 |
| |
| 基金项目： | 贵州省社科规划项目"动态信息和集合论的应用研究"成果之一;项目编号12GZYB63，贵州省优秀科技教育人才省长专项资金项目"动态信息和集合论视野下的博弈逻辑研究"成果之一，贵州省科技厅联合基金项目"基于逻辑视域的动态信息研究"成果之一;项目，贵州省教育厅一般项目"动态信息视域下的认知概率逻辑研究"成果之一，毕节学院高层次人才项目"信息动态和集合论在博弈论中的应用研究";项目 |
| |
| 摘 要： | 通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。
|
| 关 键 词： | 组合模态逻辑 融合 更新积 复杂度 |
Combining Modal Logic |
| |
| DONG Ying-dong.Combining Modal Logic[J].Journal of Bijie University,2013,31(8):1-7. |
| |
| Authors: | DONG Ying-dong |
| |
| Institution: | DONG Ying-dong;Bijie University;Southwest University; |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
