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