模态逻辑公式的真度理论

• 作者: 李璧镜
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 模态逻辑系统·模态公式 Borel测度 真度
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 40-43
• 页数: 4页
• 分类号: O142
• 字数: 4281字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1207-0185

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李璧镜	宝鸡文理学院数学系	8	39	3.0	6.0