時態邏輯檢視原始碼討論檢視歷史

原圖鏈接來自 豆瓣網 的圖片

《時態邏輯》，時態邏輯的入門著作。R.P.麥克阿瑟(R.P.McArthur)著。1976年出版。

內容簡介

本書約7萬字，系統地介紹了時態邏輯。從建立時態邏輯的動機出發，首先引入時態算子P，F，H，G，N，然後，為PP，FP，HP和GP給出一個解釋的模型:三元組<Ψ>，R，φ，ψ是一個真值指派，R是二元關係，Ω是真值指派的集合。量化的命題也可用它來解釋。最小的時態邏輯系統是Kt，它的公理最少，並且包含經典邏輯的公理。Kt的擴展有:線性系統CL，無終結的線性時態邏輯SL，稠密的線性時態系統PL，循環系統PCr。分支系統CR是基本的分支時態邏輯，也是Kt的擴展。分支系統Kb。是CR的擴展，保持向後的線性；(PA&PB)&8835；(PA&B) ∨ (P((A&PB)VP(PA&B)))。本書討論了時間模態，模態算子在不同的意義下由時態算子定義，以及在此定義下的系統所具有的定理；還討論了量化的時間邏輯，給出其形式系統，對時態邏輯的可靠性和完全性定理也作了專門研究。

工具書的發展

「工欲善其事，必先利其器」。工具書是一種依據特定的需要，廣泛匯集相關的知識或文獻資料，按一定的體例和檢索方式編排，專供查資料線索的圖書、文獻，是人們在書山探寶，學海求知的「器」。學會和善於利用工具書，是做學問的一項基本功。

我國的工具書歷史悠久，源遠流長。據史籀記載，公元前8世紀周宣王就有字書《史籀篇》。如果說先秦是工具書的萌芽時期的話，那麼兩漢則是工具書的奠基時期。《方言》，《說文解字》《別錄》《七略》等一批定型的字典、詞典、書目，為以後工具書的發展打下了堅實的基礎。

隨着工具書的不斷發展，種類也變得越來越多，除字典、詞典、百科全書外，年鑑、手冊在工具書類型中發展較快，品種多，規模大，既有綜合性的，也有專門或專科性的，既有學術性的，也有生活方面的。

視頻

時態邏輯 相關視頻

11.6時態邏輯 邏輯學1為什麼要學習邏輯學