邏輯學

第一階邏輯擴充套件：時間邏輯與事件演算