人工智能逻辑讲义

李小五编著2005 年出版550 页ISBN：7306025872

本书为高校教学用书。分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。

无穷逻辑 上

李小五著1996 年出版620 页ISBN：7800507718

条件句逻辑

李小五著2003 年出版673 页ISBN：7010039402

本书对现代逻辑的重要分支条件句逻辑作了全面、系统的研究。

无穷逻辑 下

李小五著1998 年出版1269 页ISBN：7801490703

现代归纳逻辑与概率逻辑

李小五编1992 年出版245 页ISBN：7030030249

动态认知逻辑专题研究 英文版

李小五编著2010 年出版367 页ISBN：9787306036032

本书通常的动态认知逻辑只研究智能主体对命题的认知，涉及活动与后果之间的关系，本书建立一系列逻辑，把认知对象推广到其他领域。

现代逻辑学讲义 模态逻辑

李小五编著2005 年出版238 页ISBN：7306025880

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

对逻辑的思考 逻辑哲学导论

（英）斯蒂芬·里德著；李小五译1998 年出版325 页ISBN：7538253165

现代逻辑学讲义 数理逻辑

李小五编著2005 年出版265 页ISBN：7306025880

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

哲学逻辑研究

张清宇，郭世铭，李小五著2007 年出版435 页ISBN：7802303990

本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...