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