论文研究模态逻辑中公式的模态真度.pdf

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