论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察

【相似文献】

相关期刊论文 前10条

1 张家龙;;从言模态和从物模态的联系、区别及其哲学意义[J];云南师范大学学报(哲学社会科学版);2010年01期

2 熊维俊;;事件域认知模型(ECM)视角下的语篇连贯[J];湖南科技学院学报;2010年02期

3 吴新民;;哲学逻辑的时态命题与模态命题关系论析[J];人文杂志;2010年02期

4 余多星;王增福;;克里普克本质主义思想述评[J];理论界;2010年03期

5 雒自新;;“知道者悖论”的一个新变体[J];湖南科技大学学报(社会科学版);2010年03期

6 魏燕侠;;“逻辑”的四重根——评“逻辑可修正论”[J];哲学动态;2010年02期

7 周祯祥;;巴坎公式和自由逻辑[J];湖南科技大学学报(社会科学版);2010年04期

8 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期

9 郑笠;;天人分野中庄子“自然”与“自由”逻辑的多重悖论[J];闽江学院学报;2010年03期

10 朱建平;;模态逻辑语义学在语言学语义学中的应用[J];佳木斯大学社会科学学报;2010年02期

相关会议论文 前10条

1 薛振伟;吴志杰;;一个典型的MDA软件开发过程[A];中国工程物理研究院科技年报(2008年版)[C];2009年

2 陈凤钦;余春艳;何晓升;;一种企业资源自由竞争人工模型的研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年

3 王翠茹;辛锐;韩晓娜;;基于本体的电网调度系统知识表示的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

4 李辛鹤;郑康锋;杨义先;;一种高效的网络物理拓扑发现方法[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集（上册）[C];2008年

5 王万宝;付志红;苏向丰;;三相电压型SVPWM整流器离散域控制模型的构建[A];四川省电工技术学会第九届学术年会论文集[C];2008年

6 宋锐;林鸿飞;常富洋;;中文比较句识别及比较关系抽取[A];第四届全国信息检索与内容安全学术会议论文集（上）[C];2008年

7 朱辉;李晖;杨加喜;王育民;;一种可证明安全的通用多信任域认证协议[A];第三届中国可信计算与信息安全学术会议论文集（3）[C];2008年

8 陈其楼;潘正华;;谓词逻辑中有关函数及其部分性质的形式描述[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

9 王浩畅;赵铁军;李艳;;生物医学命名实体识别的特征选取与评价[A];内容计算的研究与应用前沿——第九届全国计算语言学学术会议论文集[C];2007年

10 吴宝栋;杨志豪;林鸿飞;;生物医学文献中的蛋白质相互作用关系抽取系统[A];内容计算的研究与应用前沿——第九届全国计算语言学学术会议论文集[C];2007年

相关重要报纸文章 前10条

1 邹大斌;让IT跟上业务的变化[N];计算机世界;2007年

2 谢涛;疏通人才瓶颈 BEA力推SOA for Architects[N];电脑商报;2007年

3 刘卫;对恢复海域原状的理解与适用[N];中国海洋报;2006年

4 BEA公司;四问SOA应用[N];中国计算机报;2006年

5 　侯闯 策划 沈建苗 编译;EJB 3.0的三大类型[N];计算机世界;2006年

6 刘丽华 金水高 胡凯 梁子柱;国际主流卫生信息模型一览[N];计算机世界;2006年

7 访谈专家：朱小勇（黄河水利委员会水土保持局） 王光谦（清华大学水沙科学教育部重点实验室） 王军良（黄河勘测规划设计有限公司）;运用数字手段破解黄河疑难问题[N];中国水利报;2005年

8 本报记者 杨墨;改变现有灌溉方式 中国能养活13亿到20亿人口[N];第一财经日报;2005年

9 李巍;SOA：企业IT建设的新趋势[N];中国计算机报;2005年

10 饶振华;院士钨都说钨业[N];中国有色金属报;2005年

相关博士学位论文 前10条

1 赵密;近场波动有限元模拟的应力型时域人工边界条件及其应用[D];北京工业大学;2009年

2 王航赞;迈克尔·达米特的语义学思想研究[D];山西大学;2009年

3 陈书义;面向融合的移动通信网络安全关键技术研究[D];东北大学;2009年

4 孙广路;基于统计学习的中文组块分析技术研究[D];哈尔滨工业大学;2008年

5 孙承杰;基于判别式模型的生物医学文本挖掘相关问题研究[D];哈尔滨工业大学;2008年

6 赵雷;域数据模型的研究与实现[D];苏州大学;2006年

7 刘宇红;认知语言学视野中的指称解读：限定名词词组的外指与前指研究[D];复旦大学;2003年

8 王程;SAR图像相干斑抑制和光学图像序列超分辨率技术研究[D];中国人民解放军国防科学技术大学;2002年

9 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年

10 王锦;基于域分析的CAPP软件体系结构[D];西北工业大学;2001年

相关硕士学位论文 前10条

1 陈琳琳;论古德曼新归纳之谜[D];燕山大学;2010年

2 张法清;冯·赖特道义逻辑研究[D];西南大学;2010年

3 桑丘;智能体行动推理中的信念改变的研究[D];江苏大学;2010年

4 朱会娟;基于知识的状态演算的研究与实现[D];江苏大学;2010年

5 张之帆;基于应用程序合法作用域的入侵检测技术的研究与实现[D];东华大学;2010年

6 李晓聪;基于模型检测的空间访问控制系统规则验证[D];江苏大学;2010年

7 王世东;蒯因本体论思想探析[D];西南大学;2010年

8 薛祥军;基于用例驱动矿业权实地核查数据采集系统的设计与实现[D];吉林大学;2010年

9 马宁馨;论侦查假设中的逻辑可能[D];西南政法大学;2010年

10 胡谦谦;Markov逻辑网及其在社会网络中的应用研究[D];北京交通大学;2010年