計算機科學家邏輯/模態邏輯

來自華夏公益教科書，開放世界開放書

< 計算機科學家邏輯

本頁可能需要審閱以保證質量。

6.1 模態邏輯
 6.2 語法
 6.3 克里普克語義
 6.4 公理系統
 6.5 多模態邏輯 – 一個示例
 6.6 模態邏輯表
 6.7 翻譯方法
 6.8 時態邏輯

取自 "https://wikibook.tw/wiki/Logic_for_Computer_Scientists/Modal_Logic"

書:計算機科學家邏輯

華夏公益教科書