首页 | 本学科首页   官方微博 | 高级检索  
     检索      

模态逻辑中转换结构的局限性
引用本文:董英东.模态逻辑中转换结构的局限性[J].辽宁工程技术大学学报(自然科学版),2014(2).
作者姓名:董英东
作者单位:毕节学院逻辑与文化研究中心;西南大学逻辑与智能研究中心;
基金项目:贵州省哲学社会科学规划基金资助项目(12GZYB63);贵州省优秀科技教育人才省长基金资助项目([2012]50);贵州省教育厅一般基金资助项目(12GZJY20);毕节学院高层次人才基金资助项目(G2012003);贵州省科技厅联合基金资助项目(LKB201224);中国博士后科学基金面上基金资助项目(2013M542251)
摘    要:针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.

关 键 词:模态逻辑  转换结构  典范模型  有穷模型性  赋值模型  朴素模型  完全性  加标转换
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号