作者：李小五 日期：2018-11-18 11:11:41
《动态认知逻辑专题研究(英文版)》由中山大学出版社出版。
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.