张晓君著的《汉语指代消解及其推理模式研究》以国内外新近相关文献为基础，主要围绕汉语主谓句的逻辑语义、指代消解，以及自然语言的推理模式加以研究。第一章是引论。第二章是基于动态谓词逻辑的自然语言指代消解。第三章是基于范畴类型逻辑的指代消解和歧义消解。第四章是广义量词理论基础。第五、六章是基于广义量词理论的传统三段论和广义三段论的有效性及相关语篇推理的形式化研究。第七章是基于广义量词理论的亚里士多德模态三段论的有效性及其公理化的探索性研究。本书创新研究主要分布在第五、六、七章，特色研究是第七章。本书适合于逻辑学、语言学的教师和研究生，以及对自然语言信息处理、计算机科学中的知识表示和知识推理感兴趣的教师、研究生和科研人员阅读。

张晓君，女，四川南充人。现任四川师范大学逻辑与信息研究所所长。2011年博士毕业于中国社会科学院研究生院，2013年从厦门大学博士后出站后，就职于四川师范大学，兼职于福建省仿脑智能系统重点实验室（厦门大学）。在《模式识别与人工智能》、《哲学研究》、《逻辑研究》等核心期刊发表学术期刊50余篇，其中：英文7篇、被人大复印报刊资料全文转载5篇；出版专著2部，合著2部；主持国家级课题3项。获得“金岳霖学术奖”、四川师范大学“科研十佳”等奖项多项。

序言
引论
第一节 为何面向自然语言信息处理的语言学研究离不开逻辑学
一、开启语言学与逻辑学的沟通交流模式
二、交叉研究中存在的主要问题及相应对策
三、逻辑、语言、信息与计算的交叉研究亟待加强
第二节 何为语言表达式的意义
一、语言表达式的意义是逻辑哲学研究的重要课题
二、意义的静态理论
三、意义的动态理论
四、意义的算法理论
1．算法理论的形成过程
2．算法理论的理论预设
3．同义概念与等价算法
4．算法理论的思想脉络
第三节 指代消解的主要方法及其机制
一、指代消解的主要方法
二、指代消解的主要机制
1．中介机制
2．动态约束机制
3．加标机制
4．复合机制
5．范畴机制
第一章 动态谓词逻辑
第一节 动态谓词逻辑产生的最初动力
第二节 动态谓词逻辑的动态机制
一、合取式和存在量化式的动态解释
二、蕴涵式的动态解释
三、全称量化式、否定式与析取式的动态解释
第三节 动态谓词逻辑的形式系统
一、语法和语义
二、意义、真和等值
三、辖域与约束
四、一些逻辑事实
五、动态后承
第四节 动态谓词逻辑的主要特征
一、组合性的语义特征
二、表达式的测试特征
三、变元的复位特征
第五节 动态谓词逻辑与其相关逻辑的关系
一、动态谓词逻辑与标准谓词逻辑的比较
二、动态谓词逻辑与量化动态逻辑的比较
三、动态谓词逻辑与话语表现理论的比较
第六节 动态谓词逻辑研究展望
第二章 范畴类型逻辑
第一节 范畴类型逻辑的理论基础
第三章 自然语言推理研究的简便工具
第四章 基于广义量词理论的直言三段论研究
第五章 基于广义量词理论的广义三段论研究
第六章 模态三段论的有效性与公理化研究