《动态认知逻辑专题研究(英文版)》主要内容简介：Dynamic Epistemic Logic is the logic of knowledge, action
《动态认知逻辑专题研究(英文版)》主要内容简介：Dynamic Epistemic Logic is the logic of knowledge, actions and the interrelation of them.This is not about one logic, but about a whole family of logics that allows us to specify staticand dynamic aspects of rational agent systems. The book provides various logics to supportsuch formal specifications.
