当前位置：学术参考网 > 广义模态逻辑理论论文
尔纳普的理论，提出了比较完整的模态逻辑的模型理论。6O年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统，如认知逻辑I1引、道义逻辑[1引、时态逻辑[1等。模态逻辑由于研究和阐明了必然、可
导师给了我一篇写模态逻辑和证据理论的论文，一开始看蒙了，然后决定从头开始学模态逻辑，《ANewIntroductiontoModalLogic》这本书写挺好的，我一直看到systemT，然后搞懂了论文中的内容，我打算写几篇博客记录我的学习过程。...
基础认知词模态逻辑裘江杰，黄华新提要：自然语言处理涉及推理，出于可实现性的考虑，为之建立逻辑系统需顾及表达力与复杂性之间的平衡。本文给出了一类简单的模态逻辑，它们刻画了认知词一个基本的性质——有限性，统一得到了它们的完全性，并且证明它们都是可判定的。
（这里要解释一下为什么广义模态逻辑可以算经典逻辑，因为所有经典重言式都是它的内定理，它并没有改变任何经典逻辑的原则，只是添加算子作了些扩充。还有一个理由，从模型的角度看，模态命题逻辑可以看作一个一阶理论。
作者简介:张晓君(1970—)，女，博士后，研究方向:自然语言逻辑、模态逻辑、认知行动逻辑等;黄朝阳(1964—)，男，博士，教授，研究方向:现代逻辑、逻辑学教育应用问题等。【论文选粹】广义量词理论的渊源及其发展趋势张晓君，黄朝阳(厦门...
0第三章3第六节模态判断及其推理.doc,第六节模态判断及其推理研究“必然”、“可能”模态词及其推理的逻辑理论被称为模态逻辑。（1）这位疑似病人患“非典”的可能性非常大。（2）抗“非典”后，我国旅游业的强劲“反弹”是必然的。
摘要：中国逻辑学界70年历程表明：当与外部世界处于隔绝状态时，它本身的状态也相当不好；当打开国门去拥抱世界时，它自身的潜力被激活，得到了发展和繁荣。由于中国在近代停滞和落后，在与外部世界特别是西方世界的接触中，我们主动或被动地处于学生位置：别人探索和提出X，我们只学习...
这篇论文利用自动机理论中的一些概念把广义量词同程序联系起来。我觉得有意思的是广义量词出现在很多领域，譬如自然语言、模型论、算术、逻辑程序等等。您能否描述一下逻辑学家们如何处理广义量词？广义量词理论的要点是什么，它如何发展到现在？
模态逻辑与形式逻辑的差异在于：形式逻辑不面向应然世界，而模态逻辑则将“必然”“可能”“必须”“允许”等模态词引入逻辑体系，对含有模态词的命题进行推理和论证。道义逻辑与法律具有密切关系。“DEONTIC”一词源自希腊语，意即“义务”。
论文：1.《国内模态逻辑哲学问题研究述评》，自然辩证法研究，2007年第23卷第11期；2.《谓词抽象及其作用》，哲学动态，2008年第5期；3.《“逻辑”的四重根——评“逻辑可修正论”》，哲学动态，2010年第2期.进站后主要科研成果（包括课题
(hlohnoi,ec)0EUetoa~re2001年9月Sp~te,20etbr01广义模态逻辑研究中的若干问题冯棉206)002(华东师范大学哲学系,上海摘要:模态逻辑不但涉...
模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对"罗斯悖论"的剖析中引入可能算子,通过对道义悖论作时态的分析,以辨明义务的相对性,...
内容提示:第4O卷2013年6月第6A期计算机科学ComputerScienceVo1.40No.6AJune2013现代模态逻辑在计算机科学中的应用研究陈志远黄少滨韩丽...
【摘要】:知识表示是人工智能研究的重要环节,本文提出了一个知识表示的广义模态逻辑方案:通过对知识的7个方面(知道什么、知道为什么、知道怎么做、知道谁、知道什么时间、知...
国内对道义逻辑研究的专著有周祯祥的《道义逻辑——行为和规范的推理理论》,论文有陈锐的博士毕业论文《道义逻辑研究》,余俊伟的博士毕业论文《弗协调逻...
国内对道义逻辑研究的专著有周祯祥的《道义逻辑——行为和规范的推理理论》,论文有陈锐的博士毕业论文《道义逻辑研究》,余俊伟的博士毕业论文《弗协调逻...
西南交通大学博士学位论文基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究姓名李文江申请学位级别博士专业交通信息工程及控制指导教师徐扬20021201西...
【摘要】:为提高模糊命题模态逻辑(fuzzypropositionalmodallogic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau...
5、本文分三大部分进行了论述:首先,对墨经逻辑进行了诠释,对西方现代广义模态逻辑的发展作了简要论述,并重点介绍了模态词。6、本篇论文采取了文献法、观察法和...