收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

模态逻辑模型的嵌入定理

孙希文  
【摘要】:本文将Henkin的嵌入定理从经典逻辑推广到模态逻辑,并用超积方法证明该定理。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 姚从军;;双模拟与模态逻辑[J];重庆理工大学学报(社会科学);2011年08期
2 吴迪;;浅谈可能世界语义学与模态代数语义学[J];大家;2011年17期
3 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期
4 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
5 余俊伟;;概念文字的数学背景及哲学意味[J];云南大学学报(社会科学版);2011年04期
6 宋丽珏;;情态表达的可能世界语义度量[J];外语学刊;2011年03期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年
2 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年
4 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
5 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年
6 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年
7 金承光;;从法律逻辑学的视角审视规范逻辑[A];边缘法学论坛[C];2005年
8 马跃峰;;一种形式化的面向对象数据库方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
9 徐长征;王清贤;颜学雄;;基于历史时序的访问控制模型研究[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
10 洪也;马雁军;刘宁微;高少鹏;;沈阳市灰霾天金属元素浓度及富集因子的粒径分布[A];第七届海峡两岸气胶技术研讨会暨第二届空气污染技术研讨会论文摘要集[C];2010年
中国博士学位论文全文数据库 前10条
1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
2 史璟;非良基集与模态逻辑[D];南开大学;2009年
3 张力锋;模态逻辑和本质主义[D];北京大学;2004年
4 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
5 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年
6 徐悦竹;机会发现算法及其应用研究[D];哈尔滨工程大学;2010年
7 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
8 吕宗磊;对聚类及聚类评价若干问题的研究[D];南京航空航天大学;2009年
9 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年
10 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年
中国硕士学位论文全文数据库 前10条
1 赵磊;模糊粗糙理论及其模态逻辑的研究[D];电子科技大学;2001年
2 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年
3 邓玉琼;现代汉语或然模态逻辑初探[D];广西师范大学;2006年
4 李晶;基于能力与思维的协商公理体系多Agent 系统模型[D];云南师范大学;2003年
5 唐玉斌;本质主义和必然性问题的研究[D];华南师范大学;2005年
6 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年
7 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年
8 余泉;描述逻辑及其模态扩充的模型[D];广西师范大学;2007年
9 陈辉辉;试析克里普克的本质主义[D];西南大学;2009年
10 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年
中国重要报纸全文数据库 前2条
1 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年
2 陈慕泽;多主体系统中的互知[N];光明日报;2000年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978