本書(shū)在單模態(tài)語(yǔ)言的基礎(chǔ)上，引入和使用多模態(tài)語(yǔ)言、介紹了一些模態(tài)邏輯中目前比較新的、流行的概念和方法，如：加標(biāo)轉(zhuǎn)移結(jié)構(gòu)、互模擬等，有助于學(xué)生了解《模態(tài)邏輯》發(fā)展的前沿，學(xué)習(xí)《模態(tài)邏輯》的最新知識(shí)，掌握最新的概念和方法。