本文将作者提出的高效的命题模态D逻辑的标记模态归结方法推广到了命题模态逻辑K,K4,D4,T,S4系统,建立了上述命题模态逻辑的标记归......

逻辑研究有效推理,判定其有效的依据是结论所传达的信息与前提所传达的信息之间的必然关系,而传达这些信息的媒介不一定就是语言.......

汉语熟语中的辩证模态推理分析柳昌清一李约瑟教授认为：“当希腊人和印度人很早就仔细地考虑形式逻辑的时候，中国人则一直倾向于发展......

渗透逻辑的意义柳昌清（中共河南省委党校）渗透逻辑突破了形式逻辑非此即彼的局限，用逻辑的方法反映了事物及其要素之间的系统联系和......

在引入可能世界理论的基础上，文章设想通过构造关于模态判断的真值表，刻划出必然Ｐ、必然非Ｐ、可能Ｐ、可能非Ｐ和偶然ｐ的真值，来分析、揭示这......

本文将作者提出的高效的命题模态Ｄ逻辑的标记模态归结方法推广到了命题模态逻辑Ｋ，Ｋ４，Ｄ４，Ｔ，Ｓ４系统，建立了上述命题模态逻辑的标记归结形式系统ＭＲＫ，ＭＲＫ４，ＭＲＤ４，ＭＲＴ，ＭＲＳ４，并用......

本研究用眼动记录仪对初二、高二和大二年级各20名视力正常学生进行模态推理的眼动过程进行了记录。实验结果表明:1.不同年级青少......