巴坎公式相关论文
本文分析了普赖尔等学者有关时间与存在关系的论述,深入考察了时态逻辑中关于巴坎公式的理论得失,指出:巴坎公式及其逆二者之组合......
在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具......
普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而......
