郭佳宏等著2017 年出版214 页ISBN：9787030525635
该项目成果名为《基于主体互动的信息变化逻辑研究》，分为上下两篇。上篇从认知逻辑出发，主要考察以知识为载体的信息变化规律。具体涉及的内容有多主体认知逻辑、动态逻辑、动态认知逻辑以及一类程序性知识的...
（荷）范本特姆著；郭佳宏，刘奋荣等译2013 年出版548 页ISBN：9787030360281
本书是由我们翻译的世界著名逻辑学家范·本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑...
