必然性-一流百科

可证明性逻辑

可证明性逻辑可证明性逻辑是一种模态逻辑，其中的盒式（或必然性）运算符被解释为'可以证明'。其目的是为了捕捉一个合理的丰富的形式理论的证明谓词的概念，...