模态逻辑的后承关系之比较.docVIP

模态逻辑的诸后承关系之比较 李小五 中山大学逻辑与认知研究所，中山大学哲学系，广州，510275 摘要：本文定义模态语言的两种语义（邻域语义和关系语义）的若干个语义后承和4个具有代表性的模态系统的语法后承，然后比较它们之间的关系。 关键词：语义后承；语法后承；后承关系之比较 中图分类号：B81 文献标识码： A　 　　令L是模态句子语言，At是L的全体原子公式的集合，FL是L的全体公式的集合。我们总用p，q和r表示At的前3个句符，用A和B表示任意公式，用Φ和Ψ表示任意公式集。 1 语义后承之间的比较 我们先来考虑语义后承关系。任给集合X，我们用P(X)表示X的幂集。 本文我们总用(表示R或N，其中R和N分别指称关系语义和邻域语义。 1.1定义 (1) 称F＝〈W，(〉是(-框架，记作F∈(F，( 下列条件满足： ① W是非空集，其中的元素称为可能世界，且 ② 若(是R，则R是W上的二元关系。 若(是N，则N是从W到P(P(W))中的映射。 (2) 称M＝〈W，(，［ ］〉是(-模型，记作M∈(M，(下列条件满足： ① 〈W，(〉是(-框架，且 ② ［ ］是从At到P(W)中的映射。 (3) 复合公式在M中的真值集定义如下： ① ［(A］＝W－［A］， ② ［A∧B］＝［A］∩［B］， ③ 若(是R，则［□A］＝｛w∈W：R(w