扩充逻辑相关论文
分划扩充命题时态逻辑通过加入分划算子P1,1,增强了经典命题时态逻辑的表达能力.本文就该扩充逻辑关于stutter不变性的研究,给出了......
在命题逻辑的基础上,Arthur Norman Prior在上个世纪50年代创建了模态逻辑的一个分支——时态逻辑。从80年代起,在哲学、计算机科......
