在动态认知逻辑中融合观察与内省
재동태인지라집중융합관찰여내성
Merging Observation and Access in Dynamic Epistemic Logic