广义模态逻辑_研究多种模态概念的非经典逻辑系统

广义模态逻辑

研究多种模态概念的非经典逻辑系统

广义模态逻辑是在经典逻辑基础上，通过引入不同模态算子道义逻辑、时态逻辑、认识论逻辑等分支的新型学科群。冯棉等中国学者在1990年代开展系统研究，建立了包括《广义模态逻辑》在内的理论体系。该领域在人工智能、法学等12个应用领域取得实践突破，特别是基于语言真值格蕴涵代数的研究为自动推理提供新方法。