刘壮虎：概念结构理论，《逻辑学研究》2017年第2期
许春梅，刘壮虎：基于K4的超模态逻辑，《湖南科技大学学报》2014年第2期
刘壮虎：单调的条件句逻辑，《哲学研究》2009年增刊
刘壮虎：无穷算子和量词，《湖南科技大学学报》2009年第3期
刘壮虎：有限全序语义和广义皮尔斯律，《逻辑学研究》2008年第2期
冯艳，刘壮虎：一个自由模态的摹状词理论LFMDTK*，《哲学研究》2007年第8期
谷振诣，刘壮虎：《批判性思维教程》，北京大学出版社，2006年6月
刘壮虎，李小五：
对动作的认知，《湖南科技大学学报》2005年第6期
李小五，刘壮虎：命题型的择类语义与主次条件句逻辑，《哲学动态》2004年增刊
刘壮虎：集体认定中的不一致和合取原则，王博主编《薪火集》，北京大学出版社，2004年4月
刘壮虎：必然性的逻辑分析，《哲学研究》2002年第2期
刘壮虎：《
素朴集合论》，北京大学出版社，2001年10月
刘壮虎：初基演算的邻域语义学，载《摹物求比—沈有鼎及其治学之路》，社会科学文献出版社，2000年
刘壮虎：复合谓词的逻辑，《自然辩证法研究》2000年增刊
刘壮虎：哲学逻辑概论，《北京航天航空大学学报》2000年第1期
刘壮虎：逻辑系统中的蕴涵，载《逻辑今探》，社会科学文献出版社，1999年
刘壮虎：集体认定的逻辑，《自然辩证法研究》1998年增刊
刘壮虎：Neighborhood Semantics of Modal Predicate Logic，《南京大学学报》1998年数学半年刊
刘壮虎：传播现代逻辑 建立哲学体系，《北京大学学报》1998年第2期
刘壮虎：相干逻辑的邻域语义学，《自然辩证法研究》1995年增刊
刘壮虎：直觉主义逻辑的完全性和不完全性，《哲学研究》1995年增刊
刘壮虎：邻域语义学和模型完全性，《北京大学学报》1995年第5期
刘壮虎：《逻辑演算》，中国社会科学出版社，1993年12月
刘壮虎：自指性命题的逻辑构造，《哲学研究》1993年增刊
刘壮虎：基于多值逻辑的评价逻辑系统，《自然辩证法研究》1993年第3期
刘壮虎：归纳支持逻辑的一个新系统，《哲学研究》1989年第12期
刘壮虎：等度和不等度的结构及在P-T度下集合的分离性质，《数学季刊》1989年第3期
