本书首先揭示了博弈与逻辑之间的联系，介绍了博弈理论中关于博弈认知问题的背景知识。其次，讨论了建构博弈认知模型的基本途径，分析了静态博弈中理性主体信息交换推理问题，以及几种建构完美信息动态博弈解（子博弈精炼均衡）的认知基础的逻辑系统。再次，联合几类不同描述主体信息跟新技术，示例化说明了基于Kripke-关系语义模型建构认知（信念)森式模型的基本途径和方法。最后，利用DEMOGAME检测通过公开宣告化简博弈模型方法的有效性，拓展了动态认知模型检测工具DEMO的应用领域。