目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。关于谓词模态逻辑还存在着很多的争议......

对应物理论（counterpart theory）是一阶逻辑的一种理论．Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质，但是Lewis......

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

在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该......