模态逻辑公式的真度理论

论文简介

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

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。