【什么是模态模型论-图】百科知识点
来源:学大教育 时间:2017-11-23 13:35:36
关于数学学习很有多内容需要大家掌握,提前了解这些内容能够加深大家对数学学习的认识,下面学大教育网为大家带来【什么是模态模型论-图】百科知识点,希望对大家学好数学知识能够有所帮助。
模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向,即公理学、语义学和代数学方向之一的语义学方向。模态逻辑的关系语义学(又称关系模型论)一般公认是由S.A.克里普克开创的。
S.A.克里普克于1959年发表在《符号逻辑杂志》上的题为《模态逻辑的一个完备性定理》一文中首先提出了关系模型(或称关系语义解释)的概念,并证明了带量词的S5(在该文中记为S5*)相对于该关系模型概念为完备的;稍后又接连发表几篇论文对各种正规和非正规模态系统提出了相应的关系语义解释,即关系模型概念。
如同许多重要的数学概念一样。关系语义学的提出也并非克里普克一人的功劳。在他的前后若干年,有近10位逻辑学家彼此独立地,正式或非正式地提出了相近的或略有不同的语义概念。其中值得一提的有S.坎格尔和K.J.J.欣蒂卡二人。欣蒂卡在1961年和1963年两度提出的”模型集合“与克里普克的关系语义解释有异曲同工之妙;而坎格尔则在1957年就正式提出了与克里普克的关系语义几乎完全一样的语义概念。只是所用术语不同而已。
以上就是学大教育网为大家带来的【什么是模态模型论-图】百科知识点,希望大家能够在平时开阔自己的数学知识面,这样才对以后的数学学习有所帮助。
热门资讯

-
★初三复读一年值得吗_初三复读一年期间应该注意什么
2018-11-13 -
中考家长如何正确的看待孩子的考试分数
2018-11-09 -
中考生在体育锻炼中如何避免受伤
2018-11-09 -
★2019年广州中考招生录取政策调整抢先看
2018-11-08 -
★2019年广州中小学生寒假放假时间
2018-11-08 -
★2019年广州中考招生考试报名准备工作公布
2018-11-08 -
薅学大羊毛,双11放肆购!11元任性抢!抢!抢!
2018-11-08 -
初二英语学习时,对语法死记硬背好不好
2018-11-07 -
★2018年中山大学自主选拔面试答卷参考
2018-11-06
热门问题
-
青岛高二学生去学大教育补习怎么样?
2021-09-03 -
秦皇岛高二学生英语差如何能进步?
2021-09-03 -
乌海初三化学成绩差有必要补习吗?
2021-08-13 -
兰州初中生报假期班有什么效果?
2021-06-25 -
深圳学大教育辅导班的费用贵吗?
2021-06-25 -
太原高中生从几个方面选择托管班?
2021-06-18 -
中小学辅导机构哪家比较好?
2021-06-18 -
小升初数学学习技巧有哪些?
2021-06-04