Temporal Logic｜時間邏輯：『曾經、現在、之後』可以被寫進邏輯語言，讓程式也能被問未來會不會出錯
WHAT 這是什麼
SEP 將 temporal logic 廣義描述為形式化時間與時間資訊的各種方法，狹義則多指由 Arthur Prior 的 tense logic 發展出的模態式系統；它被用於時間哲學、自然語言、AI，以及程式與系統的規格與驗證。
WHY HERE 為什麼屬於底域的世界
它讓時間不只成為敘事順序，而成為可驗證的形式結構，適合連到流程、狀態與系統可靠性。
BLIND SPOT 補了哪一塊少看的視角
Temporal logic 有離散／連續、線性／分支等不同時間模型；同一句『未來』在不同模型中的形式含義可能不同。
