模态逻辑系统相关论文
<正> 模态逻辑是伴随着现代逻辑的兴起而产生的,它创立于十九世纪末至本世纪三十年代。创始人刘易斯(C.I.Lewis,1883—1964)从分析......
在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q；p，所以q”。也可以用符号表示为(p→q)Ap→q。这种有效式在逻辑中又......
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW多统说明有限典范模型与滤模型是证明系......
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,......
基于系统对Agent的应用，将Agent分为强Agent和弱Agent两类．论述了有关强Agent的概念及其特性；提出了一个能处理社会智能的模态逻辑系......
<正> 早在古希腊,亚里士多德就对模态命题作过讨论。但用数理逻辑方法研究模态命题是始于本世纪初。刘易斯(C.I.Lewis)从研究严格......
【正】 波兰逻辑发展的最近一个时期的杰出人物是卢卡西维茨,他是特瓦多斯基的学生,后来继承和发展了皮尔士、耶芳斯(Jevons)、施......
