模態(tài)邏輯是現(xiàn)代邏輯研究的重要領域，多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領域。多模態(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)的完全性、對應性、可判定性等元邏輯問題的一般性結(jié)論；揭示了多模態(tài)邏輯的哲學背景及其解題功能，論述了多模態(tài)邏輯在哲學中的應用價值。

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