程序认知逻辑证明论PDF书籍下载

原名:proof theory of epistemic logic of programs
作品简介:关键词：认知逻辑；动态命题逻辑；结构证明理论；标记序贯演算；认知悖论。 1. 简介。自从 Aumann [1] 的开创性工作以来，人们普遍认为博弈论中的许多解决方案概念严格依赖于以下假设：……