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