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