模态逻辑公式的真度理论  

Theory of truth degree of modal logic formulas

作　　者：李璧镜[1] 

机构地区：[1]宝鸡文理学院数学系,陕西宝鸡721007

出　　处：《计算机工程与应用》2013年第3期40-43,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.11001158);宝鸡文理学院重点科研项目(No.ZK1047)

摘　　要：在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ(φ)就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。This paper defines the perfect model and truth degree of modal formulas after analyzing the degree to modal logic and analyzing the theory of possible world. The conclusion is proved, that is, the truth degree of formulas without modal operators degenerates into a point and the value is equal to corresponding Borel degree.

关 键 词：模态逻辑系统 模态公式 BOREL测度 真度 

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