关于模态命题公式4、E和B的布尔值  

On the Boolean Value of the Modal Formulae 4、E and B

作　　者：李娜[1] 

机构地区：[1]南开大学哲学系,天津300071

出　　处：《河南大学学报（自然科学版）》2003年第4期25-28,共4页Journal of Henan University:Natural Science

基　　金：全国普通高等学校人文社会科学重点研究基地基金资助项目(02JAZJD720018).

摘　　要：模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4。Visually, it is difficult to make sure whether the modal formulae 4、E and B come into existence. The literature \ proves that under the conditions of the model, when R is any 2-ary relation on V^(B), the Boolean value of the modal formulae 4、E and B can not be decided. The paper proves that when R is a reflexive 2-ary relation on V^(B), the Boolean value of the modal formulae 4、E and B are 1. Therefore,the modal system S_4、S_5 and B are of consistency.

关 键 词：布尔值 布尔值模型 模态系统 自返性 

分 类 号：O144[理学—数学]