邻域语义学与推演系统的完全性

  本文选题：邻域语义学 + 模型完全性　； 参考：《哲学研究》2000年09期

【共引文献】

相关期刊论文 前8条

1 陈波;现代逻辑中的哲学问题[J];北京航空航天大学学报(社会科学版);2000年02期

2 刘叶涛;关于可能世界视域中的名称与本质问题——兼评中西学者在相关领域中的学术论争[J];东南大学学报(哲学社会科学版);2005年01期

3 刘勇,蒲树祯,程代杰,曹泽翰;BDI模型信念特性研究[J];计算机研究与发展;2005年01期

4 程显毅,石纯一;避免逻辑全知的BDI语义[J];软件学报;2002年05期

5 张再跃,眭跃飞,曹存根;基于模糊命题模态逻辑的形式推理系统(英文)[J];软件学报;2005年08期

6 潘天群;建立在“笛卡尔公理”上的一个怀疑逻辑系统[J];湖南科技大学学报(社会科学版);2004年05期

7 王路;逻辑哲学研究述评(下)[J];哲学动态;2003年05期

8 刘壮虎;必然性的逻辑分析[J];哲学研究;2002年02期

相关博士学位论文 前5条

1 刘勇;多Agent系统理论和应用研究[D];重庆大学;2003年

2 贺天平;量子力学模态解释及其方法论研究[D];山西大学;2006年

3 张力锋;模态逻辑和本质主义[D];北京大学;2004年

4 宋一兵;计算机生成兵力中智能体技术与应用研究[D];哈尔滨工程大学;2006年

5 张立娜;个体词的逻辑语义[D];清华大学;2007年

相关硕士学位论文 前10条

1 杨家胜;现代俄语中的评价范畴[D];黑龙江大学;2001年

2 韩宇胜;论法律的不确定性[D];中国政法大学;2001年

3 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年

4 刘国锋;D·刘易斯的可能世界理论——模态实在论研究[D];华南师范大学;2003年

5 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

6 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

7 蒋军利;公开更新逻辑[D];西南大学;2007年

8 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

9 董英东;多主体自认知逻辑系统及其应用[D];西南大学;2008年

10 刘珂;动态认知逻辑发展初探[D];河南大学;2008年

【相似文献】

相关期刊论文 前10条

1 刘壮虎;;无穷算子和量词[J];湖南科技大学学报(社会科学版);2009年03期

2 许涤非;单主体认知逻辑的研究——全知性和真知性[J];湘潭师范学院学报(社会科学版);2003年02期

3 余俊伟;;从邻域语义学的观点看否定(英文)[J];逻辑学研究;2008年02期

4 王轶;许涤非;;否定的邻域语义分析[J];湖南科技大学学报(社会科学版);2007年04期

5 周北海;毛翊;;常识推理基础逻辑系统M的完全性[J];西南大学学报(人文社会科学版);2006年01期

6 毛翊;金岳霖百年诞辰学术讨论会逻辑组讨论纪要[J];哲学研究;1995年10期

7 郭泽深;中国逻辑学会现代逻辑研讨会综述[J];哲学动态;1999年04期

8 许涤非;自信性认知逻辑[J];湖南科技大学学报(社会科学版);2004年05期

9 高恒珊,吕健安;量词模态逻辑的代数语义学(Ⅳ,上)──关于含BARCAN公式的非正规模态系统情形[J];哲学研究;1998年12期

10 刘壮虎;必然性的逻辑分析[J];哲学研究;2002年02期