模态逻辑系统S4中的度量结构

作者：龚加安; 吴洪博

来源：山东大学学报(理学版), 2016, 51(02): 108-126.

• 近似推理
• 模态逻辑
• (n)真度

在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。

• 单位
  陕西师范大学