动态逻辑:关于程序的模态逻辑  

作　　者：郝一江[1] 张晓君[2] 

机构地区：[1]中国社会科学院哲学所,北京100732 [2]中国社会科学院研究生院哲学系,北京100732

出　　处：《哲学动态》2009年第11期90-94,共5页Philosophical Trends

基　　金：北京市哲学社会科学"十一五"规划项目(06BaZX022)资助

关 键 词：动态逻辑 模态逻辑 程序 逻辑性质 数学工具 人工智能 语义分析 自然语言 

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