《动态认知逻辑专题研究(英文版)》由中山大学出版社出版。 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.
|