模态逻辑公式的真度理论

计算机工程与应用 ›› 2013, Vol. 49 ›› Issue (3): 40-43.

模态逻辑公式的真度理论

李璧镜

宝鸡文理学院数学系，陕西宝鸡 721007

出版日期:2013-02-01 发布日期:2013-02-18

Theory of truth degree of modal logic formulas

LI Bijing

Department of Mathematics, Baoji University of Arts and Sciences, Baoji, Shaanxi 721007, China

Online:2013-02-01 Published:2013-02-18

摘要/Abstract

摘要： 在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定义了模态公式的真度概念，建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词，即经典逻辑公式，它对应的模态真度[τ(φ)]就由区间退化为一个点，并且这个点就是该公式的Borel型真度值。

关键词: 模态逻辑系统, 模态公式, Borel测度, 真度

Abstract: 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.

Key words: modal logic system, modal formulas, Borel measure, truth degree

李璧镜. 模态逻辑公式的真度理论[J]. 计算机工程与应用, 2013, 49(3): 40-43.

LI Bijing. Theory of truth degree of modal logic formulas[J]. Computer Engineering and Applications, 2013, 49(3): 40-43.

[1]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[2]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[3]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[4]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[5]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[6]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[7]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[8]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[9]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[10]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[11]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[12]	马巧云. 逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度[J]. 计算机工程与应用, 2016, 52(11): 34-37.
[13]	高永刚，徐涵秋. 利用FIHS和BT的遥感影像融合改进算法[J]. 计算机工程与应用, 2015, 51(23): 23-27.
[14]	马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.
[15]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.