Dynamic Epistemic Logic｜動態認識邏輯：知識不只是一個狀態，公開訊息與互動能直接改寫「誰知道什麼」

動態認識邏輯研究資訊事件如何改變知識與信念模型，例如公開公告、複雜互動與多行動者資訊更新。

它不是一般的 epistemic logic 換個名字；核心新增的是模型如何因資訊事件而改變。