李健，女，1981年出生于河北石家庄。2004年毕业于河北师范大学电子系，2006年进入南开大学哲学院学习逻辑学，2008年在南开大学哲学院继续攻读博士学位，研究方向主要为现代逻辑。

    主要成果：

1. 线性时间逻辑基于表列、自动机、博弈的模型检测理论研究，博士学位论文，2011年4月
2. 模型检测理论逻辑研究述评，南开大学学报（哲学社会科学版），2011年增刊
3. 模型检测思想和方法的演进，哲学动态，2010年10月（后被人大复印资料转载）
4. 对怀疑论论证结构的逻辑分析，重庆工学院学报，2009年7月，第23卷
5. 与归纳推理相关的两类博弈活动，毕节学院学报，2009年3月，第27卷第3期
6. Prolog语言——搜索策略的归结反演推理机，湖南科技大学学报（社会科学版），2007年10月，第10卷第5期
7. 归结原理在谓词演算中的应用，徐州师范大学学报（哲学社会科学版），2007年5月增刊，第33卷