模态逻辑公式的概率真度理论

目的 在模态逻辑系统中寻找一种广泛通用的公式真度理论框架，成为各种系统中已有真度理论的高度抽象或推广。方法 从逻辑语构角度出发，将某一逻辑公式在特定环境下为真的程度看作是一个概率值，给出此概率值应该满足的公理刻画，并且结合不同逻辑系统自身的推理特点，寻找模态公式真度的内在关系性质。结果 建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论 不再受限于可能世界的有限性和概率测度空间的均匀性，进一步完善了模态公式的真度理论，为模态逻辑系统内进行近似推理提供了可行的模式。