Epistemic Logic｜知識邏輯：『A 知道 p』甚至『A 知道自己知道 p』都能被寫成可推演公式
WHAT 這是什麼
SEP 說明 epistemic logic 以形式邏輯處理 knowledge、belief 等概念；常見做法把 K、B 當作模態運算符，並用下標標出不同 agent，因此能正式研究『知道什麼』『知道自己知道什麼』等結構。
WHY HERE 為什麼屬於底域的世界
它把多個行動者之間的知識層級變成可視、可運算的系統，能連到共同知識、博弈與分散資訊。
BLIND SPOT 補了哪一塊少看的視角
知識是否必須真、是否具正向或負向自省等，都取決於採用的公理系統；不能把一套 epistemic logic 當成心理學事實。
