刘壮虎，教授、北京大学博士生导师。
研究领域
逻辑学
主要成果
2008年 有限全序语义和广义皮尔斯律
2006年 蕴涵和条件蕴涵
2004年 主次条件句逻辑
2000年 复合谓词的逻辑
1995年 邻域语义学和模型完全性
近年科研项目
教育部重大项目：20世纪西方逻辑哲学和数学哲学