摘要
模态公式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.
出处
《河南大学学报（自然科学版）》
CAS
2003年第4期25-28,共4页
Journal of Henan University:Natural Science
基金
全国普通高等学校人文社会科学重点研究基地基金资助项目(02JAZJD720018).
关键词
布尔值
布尔值模型
模态系统
自返性
Boolean value
Boolean valued model
the modal propositional system
the reflexivity
