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

摘要：

@@ 一般地说,一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑.自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑.大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻辑.

机标关键词：模态谓词逻辑、自由逻辑

分类号：B812(逻辑学(论理学))

资助基金：教育部人文社会科学研究项目07JJD720045

在线出版日期：2011-08-05（万方平台首次上网日期，不代表论文的发表时间）

页码：101-106