【摘 要】
：
模态逻辑是基于命题逻辑的一门逻辑学科.它早在亚里士多德时期就被广泛研究和探讨.在之后的发展过程中,美国逻辑学家刘易斯在无意间创造了现代模态逻辑.而刘易斯在继前人的基
【机 构】
：
中央财经大学文化与传媒学院,北京,100001
论文部分内容阅读
模态逻辑是基于命题逻辑的一门逻辑学科.它早在亚里士多德时期就被广泛研究和探讨.在之后的发展过程中,美国逻辑学家刘易斯在无意间创造了现代模态逻辑.而刘易斯在继前人的基础上注入了更多的形式化的内容,如建立模态系统K、T、D、B、S4、S5.使得模态逻辑的内容更加丰富.介于模态逻辑的理论体系过于庞大,本篇论文仅仅对一些基础知识进行浅谈.
其他文献
生活离不开数学,数学也离不开生活.人们学到的数学知识来源于生活,同时也要为生活服务.随着教育教学的不断改革和更新,我国越来越重视数学课程中与实际生活相联系,特别强调要
创新思维能力是现在教育改革中的一个重点,同时也是增强学生自身能力的重要途径.相关的文件中也有明确的说明,需要培养学生初步实践和创新的能力.无论是在什么地区,培养学生
JQWJ型金属结构强度非破坏检测仪,可直接检测各种工况条件下运行的金属构件的强度值(包括σ_b、σ_3、σ_(-1))。本文介绍了该仪器的原理、结构和使用方法。
JQWJ nondestru
爱国主义是中华民族历来的优秀传统,深深的植根在中华民族的灵魂深处.在爱国主义中,国家利益高于个人利益,并有文化认同与精神归属.此外,要有政治认同与规制.当下社会是中国
如何在小学数学课堂教学中培养学生的创新能力,也成为广大数学教育工作者积极思考、探索和研究的重要课题.本文作者总结多年学经验,对教学班进行了小学数学课堂教学中培养学
数学运算素养是数学核心素养不可分割的一部分.对于小学数学来说,数学素养体现在学生的计算能力上.在小学数学计算教学中,要使学生掌握基本的运算规则,能用简化的计算方法进
研究项目导向型学习模式和工学结合人才培养模式是高职院校电子商务专业的改革方向,本文以河北能源职业技术学院经济与管理系商务教研室电子商务专业探索实施项目导向型人才
随着教育事业的迅速发展,对学生思维方面的培养越来越重视.尤其是小学阶段的教育,由于学生年龄较小,思维活跃,且逻辑能力一般.要想帮助学生构建完善的知识体系,就必须要正确
教师要善于从学生熟悉的生活中创设教学情境,让数学走进生活,让学生在生活中看到数学,接触数学,激发学习数学的兴趣.要将知识传授与实际生活密切联系起来.情境引入可有效激发
物理科学是随着物理实验的发展而发展的.在教育教学领域,物理实验教学的发展对促进和促进物理教学起到了巨大的作用.随着基础教育改革的深入,以往实验教学的不足逐渐暴露出来