模態(tài)邏輯是現(xiàn)代邏輯研究的重要領(lǐng)域，多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領(lǐng)域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng)，且算子之間不可規(guī)約，它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角，構(gòu)建了多模態(tài)邏輯一般系統(tǒng)，為形式化研究各種類型的模態(tài)提供了一般的邏輯框架；證明了多模態(tài)邏輯一般系統(tǒng)的完全性、對應(yīng)性、可判定性等元邏輯問題的一般性結(jié)論；揭示了多模態(tài)邏輯的哲學(xué)背景及其解題功能，論述了多模態(tài)邏輯在哲學(xué)中的應(yīng)用價值。

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