Keywords dynamic epistemic logic;group knowledge;relativized common knowledge;group implicit knowledge;public announcement logic;action model logic;

• 动态认知逻辑;群体知识;相对化公共知识;群体隐含知识;公开宣告逻辑;行动模型逻辑;