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

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

S5系统是一类知识表示能力和处理能力都较强的模态公理系统，它是认知逻辑、信念逻辑等非经典逻辑理论的基础。根据Kripke语义模型以......

提出具有模态词□φ=□1φ∨□2φ的命题模态逻辑，给出其语言、语法与语义，其公理化系统是可靠与完备的，其中，□1与□2是给定的模态词．......

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能......

研究了命题模态逻辑，Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“＝”型模态逻辑结果Ｓ＝Ｕ→Ｖ的自动推理。提出了证明“＝”型模态逻辑结果的归结推理方法－强模态归结。证明了强模态归......