李健[山西大學講師]

李健，女，1981年9月生，河北石家莊人，山西大學哲學社會學學院講師。

個人資料

2004年7月河北師範大學本科畢業，2004年9月至2006年7月石家莊青年幹部管理學院任教；2008年7月南開大學哲學院碩士畢業，2011年7月南開大學哲學院博士畢業，獲哲學博士學位；2012年1月調入山西大學任教。主要從事邏輯的教學與研究工作，研究方向主要為現代邏輯。主持2012年度山西大學人文社科基金項目“模型檢測理論研究”。

主要成果

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卷