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

【文件属性】：

文件名称：论文研究-模态逻辑公式的真度理论.pdf

文件大小：547KB

文件格式：PDF

更新时间：2022-10-01 15:59:33

论文研究

在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定义了模态公式的真度概念，建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词，即经典逻辑公式，它对应的模态真度[τ(φ)]就由区间退化为一个点，并且这个点就是该公式的Borel型真度值。