现代模态逻辑探源

摘要：

@@ 现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成.它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础.在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法.模态逻辑发展到现在,其研究主体是多种多样的;模态逻辑可以说成是:(1)必然性和可能性的逻辑;(2)研究不同形式理论中的可证性和可表达性的语言;(3)用于研究关系和拓扑结构及其在计算机科学、认知科学、计算语言学等学科中运用的语言;(4)知识表示的形式系统;(5)研究程序行为的语言;(6)平衡了可表达性和复杂性的一阶语言片断;(7)表示语言意义的形式系统.

机标关键词：现代模态逻辑

分类号：B81(逻辑学(论理学))

资助基金：中国社会科学院重大课题

在线出版日期：2011-11-22（万方平台首次上网日期，不代表论文的发表时间）

页码：100-105