述谓词相关硕士博士期刊学术论文 - 皮皮文库

述谓词相关论文

谓词抽象及其作用

当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......

期刊

一阶模态逻辑命题模态逻辑表达力述谓词摹状词理论计算机科学逻辑语言人工智能逻辑学家经典逻辑动态逻辑定理证明论同一性专家语义应用思

看过本文同时还关注