一族不完全的逻辑冰

摘要：

@@ 20世纪60年代左右Kripke等人引入关系语义后,许多常见的模态逻辑的完全性得到证明,以致Lemmon和Scott(1977)猜测所有的逻辑都框架完全.然而,Thomason (1974) 首先给出了一个不完全的时态逻辑,从而否定了这个猜想;稍后,基本模态语言上的反例也被发现.

机标关键词：时态逻辑、模态逻辑、关系语义、完全性、证明、语言、框架、猜想

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

资助基金：教育部哲学社会科学研究重大课题04JZD0006

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

页数：共4页

页码：111-114