• 哲学逻辑
  
• 动态认知逻辑
• 人工智能逻辑
  

• 中国社会科学院2000-2005年重大项目：《逻辑与哲学、语言学、人工智能的关系》。本人承担其中的子项目：《人工智能逻辑》。经费数目：30万，经费来源：中国社会科学院。
• 教育部哲学社会科学研究重大课题攻关项目《基于自然语言的知识表达与推理系统研究》(项目编号：04JZD0006)

目前主持的集体科研项目：

• 国家社会科学基金项目2002-2005年项目《逻辑与哲学、语言学、人工智能的关系》。经费数目：8万，经费来源：国家社会科学基金办。
• 教育部基地重大项目《归纳逻辑及其应用》（项目编号：05JJD720.40001）

一、专著：

1. 《现代归纳逻辑与概率逻辑》，科学出版社，1992年12月
2. 《无穷逻辑》（上），社科文献出版社，1996年10月
3. 《无穷逻辑》（下），社科文献出版社，1998年10月
4. 《条件句逻辑》，人民出版社， 2003年8月
5. 《模态逻辑讲义》，中山大学出版社，2005年9月　
6. 《数理逻辑讲义》，中山大学出版社，2005年9月　
7. 《人工智能逻辑讲义》，中山大学出版社，2005年9月　　
   

二、译著

《对逻辑的思考》，辽宁教育出版社/牛津大学出版社，1998年11月

三、合著

1. 《新逻辑教程》，北京大学出版社，92年9月
2. 《逻辑学》，人民出版社1998年6月
3. 《哲学逻辑研究》，社科文献出版社1997年5月
4. 《方法论全书》（I），南京大学出版社2000年3月
5. 《逻辑哲学九章》，江苏人民出版社，2004年11月，李小五撰写其中的第一章《什么是逻辑》和第九章《逻辑与人工智能》。

四、论文

2006

• 《认知动态逻辑的几个应用》, (修改稿) 独著,电子期刊《逻辑与认知》，2006年第1期
• 《几类刻画主体的逻辑》, (修改稿) 独著,电子期刊《逻辑与认知》，2006年第2期

2005

• 《对动作的认知》，第2排名,《湖南科技大学学报》社会科学版，2005年第6期　
  
• 《加标动态逻辑及其若干应用》，(修改稿) 独著,《哲学动态》，2005年逻辑学增刊
• 《研究报告2005》，(修改稿) 独著,电子期刊《逻辑与认知》，2005年第4期
• 《三类知道活动的逻辑》，(修改稿) 独著,电子期刊《逻辑与认知》，2005年第3期
• 《我知道你――知道主体的逻辑》，(修改稿) 独著,电子期刊《逻辑与认知》，2005年第2期　
• 《欺骗与自我欺骗》，(修改稿) 独著,电子期刊《逻辑与认知》，2005年第1期
• 《动态认知条件句逻辑DEC2》，(修改稿) (英文版) 独著,电子期刊《逻辑与认知》，2005年第1期

2004

• 《极小条件句逻辑》， 独著,《湖南科技大学学报》社会科学版，2004年第3期
• 《动态认知条件句逻辑DEC1》，(修改稿) 独著,电子期刊《逻辑与认知》，2004年第4期
• 《双结果条件句逻辑》， (修改稿) 第1排名,电子期刊《逻辑与认知》，2004年第4期　
• 《主次条件句逻辑》， 第2排名,电子期刊《逻辑与认知》，2004年第3期
• 《模态逻辑的诸后承关系之比较》，电子期刊《逻辑与认知》，2004年第1期
• 《命题型的择类语义与主次条件句逻辑》第1排名,《哲学动态》，2004年逻辑学增刊
• 《模态系统的推理规则的强弱虚实》，《现代哲学》，2004年第4期

2003

• 《论逻辑语义》,《哲学研究》，2003年第7期
• 《概率语义与蕴涵系统》,《中山大学学报》，2003年逻辑与认知专刊
• 《The Relational Probability Semantics for Belief Revision》第1排名《Social Sciences in China》，Autumn 2003,Vol.XXIV,No.3

2000

• 《概率语义与句子系统》，《哲学研究》，2000年第4期
• 《目前我国逻辑学研究的几个误区》，《自然辩证法研究》，2000年增刊
• 《沈有鼎论纯逻辑》，《摹物求比》，社科文献出版社2000年2月

1993-1998

• 《用带测度的可能世界语义学解释一归纳认知逻辑》，《自然辩证法研究》，93年2期
• 《协调性质与无穷逻辑几个公理化系统的完全性》，《哲学研究》，93年增刊
• 《无穷逻辑与LS定理》， 《理有固然》，社科文献出版社，95年8月
• 《条件句逻辑新探》， 《理有固然》，社科文献出版社，95年8月
• 《条件句逻辑诸语义学之比较》，《自然辩证法研究》，95年增刊
• 《浅析有序合取与有序析取》，《哲学研究》，95年增刊
• 《模型的美和美的模型》， 《美学与文艺学研究》第4辑 首都师范大学出版社1997年12月
• 《对策语义与深无穷逻辑》， 逻辑今探》，社科文献出版社，99年1月
• 《赖欣巴哈论归纳法的辩护》，《北方论丛》，96年第2期
• 《何谓现代归纳逻辑》，《哲学研究》，96年第9期
• 《BF-方法与无穷逻辑》，《自然辩证法研究》，96年增刊
• 《无穷逻辑简史》，《自然辩证法研究》，97年增刊
• 《什么是逻辑？》，《哲学研究》，97年第10期

• 《沈有鼎与直观与逻辑》，《哲学研究》，98年增刊
• 《虚拟条件句逻辑的恰当性》，《自然辩证法研究》，98年增刊

1999年 数理逻辑 60学时 授课主要对象 中国社科院逻辑专业博士生

2001年 模态逻辑 60学时 授课主要对象 北京大学逻辑专业硕士生

2002年 数理逻辑 80学时 授课主要对象 中山大学逻辑专业本科生

2002年 AI逻辑 60学时 授课主要对象 中山大学专业博、硕士生

03年：
模态逻辑：本科逻辑班和硕博士班分别上两次，共160课时。
人工智能逻辑：本科逻辑班和博士，60课时。
数理逻辑：本科逻辑班和硕博士班分别上两次，共160课时。

04年：
模态逻辑：本科逻辑班和硕博士班分别上两次，共160课时。
博弈逻辑：硕博士班，60课时。
人工智能逻辑：硕博士班，60课时。

05年：
模态逻辑：本科逻辑班和硕博士班分别上两次，共160课时。
广义模态逻辑：硕博士班，60课时。
人工智能逻辑：硕博士班，60课时。

06年：
模态逻辑：硕士班，80课时。使用教材是李小五编写的《模态逻辑讲义》（2006版）