刘壮虎，教授、北京大学博士生导师。

研究领域

逻辑学

主要成果

2008年 有限全序语义和广义皮尔斯律

2006年 蕴涵和条件蕴涵

2004年 主次条件句逻辑

2000年 复合谓词的逻辑

1995年 邻域语义学和模型完全性

近年科研项目

教育部重大项目：20世纪西方逻辑哲学和数学哲学