本書按照預(yù)備知識、基礎(chǔ)、進(jìn)階、一階模態(tài)邏輯共分為四個(gè)部分。第一部分為讀者準(zhǔn)備了集合論、命題邏輯和一階邏輯的基礎(chǔ)知識。第二、三部分分別介紹了命題模態(tài)邏輯的形式語義、公理系統(tǒng)、表列系統(tǒng)和模態(tài)語義，以及模態(tài)邏輯的不變性理論、可定義性理論及有窮模型理論。第四部分介紹了簡單一階模態(tài)邏輯和復(fù)雜一階模態(tài)邏輯。書中有大量的例子和練習(xí)，可供讀者更好地理解相關(guān)知識。

更多科學(xué)出版社服務(wù)，請掃碼獲取。