一个自由模态的摹状词理论LFMDTK①

摘要：

本文提出一个新的逻辑系统——自由模态的摹状词理论Lk，指出了该逻辑的理论背景，给出了它的语法系统及相应的语义解释。不仅证明了Lk的可靠性，还采取力迫法，通过构造力迫模型，给出了Lk的完全性证明。

关键词： 自由模态 摹状词理论 逻辑系统

作者: 冯艳

作者单位: 首都师范大学文学院 北京 100089

会议类型: 国内会议

会议名称: 第二届两岸逻辑教学学术会议

会议地点: 南京

会议语种:中文

页码: 438-448

在线出版日期: 2006-10-28（万方平台首次上网日期，不代表论文的发表时间）