点击购买此书全本PDF电子书
对应理论 4
两个格式塔中的模态逻辑 82
安保、界限和广义语义学 107
动态箭号逻辑笔记 126
谓词逻辑的模态基础 141
使互模拟安全的程序构造 173
“人的存在并非是孤立的”：逻辑与交流 194
信念修正的动态逻辑 227
偏好升级的动态逻辑 254
动态认知逻辑中的博弈 282
作为进程模型的扩展博弈 309
逻辑博弈对博弈逻辑是完全的 334
博弈中的理性动态和认知逻辑 353
附录一 英-汉专业术语对照表 390
附录二 英-汉人名对照表 399
致谢 402