模态逻辑S5 相关硕士博士期刊学术论文 - 搜论网

模态逻辑S5相关论文

从可能到必然——贯穿普兰丁格本体论证明的逻辑之旅

普兰丁格使用模态逻辑S5及其可能世界语义学作为论证工具，并运用可能世界、世界索引性质、个体本质和示例等基本哲学概念之间的内在......

期刊

上帝可能世界个体本质示例模态逻辑S5 形而上学模态认知模态相对模态

基于遗忘的知识充分性与必要性研究

模态逻辑S5在智能体领域是一种重要的知识推理形式体系。最强必要条件和最弱充分条件是Lin提出的在人工智能领域下具有重要作用的......

学位

模态逻辑S5 最强必要条件最弱充分条件遗忘理论归结

看过本文同时还关注