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