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

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

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