跨可能世界相等相关硕士博士期刊学术论文

由于必然模态词□的引入，谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界．在谓词模态逻辑中存在个体跨可能......