模态逻辑中公式的模态真度

• 作者: 刘华丽
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 模态逻辑 (n)模态真度 (n)模态相似度 (n)模态伪距离 (n)模态度量空间
• 年，卷（期）: 2010,（31）
• 页码范围: 61-63,76
• 分类号: O153.3
• 字数: 5973字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.31.017

摘要

在模态逻辑中提出了公式的模态真度理论,即△真度与◇真度.先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间.结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘华丽	西安石油大学理学院	10	14	2.0	3.0