文件名称：论文研究-模态逻辑中公式的模态真度.pdf
文件大小：489KB
文件格式：PDF
更新时间：2022-10-01 08:53:19
论文研究
在模态逻辑中提出了公式的模态真度理论，即Δ真度与930;真度。先给出在一个给定Kripke模型之下的模态真度理论，此后利用均匀概率思想，提出了更为合理的(n)模态真度理论，定义了两公式之间的(n)模态相似度，并由此导出了(n)模态伪距离，得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点，从而为在模态逻辑中展开近似推理提供一个可能的框架。