一族不完全的逻辑  

作　　者：裘江杰[1] 

机构地区：[1]北京大学哲学系

出　　处：《哲学研究》2007年第4期111-114,共4页Philosophical Research

基　　金：教育部哲学社会科学重大课题攻关项目(编号04JZD0006)的资助

关 键 词：模态逻辑 60年代 时态逻辑 不可数 证明 完全性 代数 VB 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]