Modal Logic｜模態邏輯：『可能』與『必然』不是語氣裝飾，而能被做成正式可推演的運算符
WHAT 這是什麼
SEP 將 modal logic 的核心說明為研究『必然』與『可能』等模態表達的演繹行為，並指出同一家族也延伸到信念、時間、義務與允許等模態系統；它在哲學論證與電腦科學中都有正式應用。
WHY HERE 為什麼屬於底域的世界
它把日常的『也許／一定』變成可計算的結構，能連到可能世界、時間、知識與規範推理。
BLIND SPOT 補了哪一塊少看的視角
不同模態邏輯採用不同公理與可達關係；不能把所有『可能』都假定服從同一套形式性質。
