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

更多科學出版社服務，請掃碼獲取。