NExt(S4)中 Bull 逻辑再探

摘要：

本文重新考察 Bull 在1964给出的一个结论:以纯句法方式定义的一些扩张S4的正规模态逻辑具有有穷模型性质.本文修订 Bull 的代数证明.对于新定义的 S4的 Bull 公式,证明通过它们在 S4基础上生成的正规模态逻辑都具有有穷模型性质.这是关于模态逻辑的有穷模型性质的句法结论.本文还证明,相对于所有克里普克框架类而言,并非所有 S4的 Bull 公式都具有一阶对应句子.

机标关键词：next、有穷模型性、正规模态逻辑、克里普克、模型性质、代数证明、上生成、框架类、新定义

分类号：B81;O32;TU317.5

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

页码：27-38