摘要：多模態(tài)邏輯是關(guān)于“包含多種模態(tài)的邏輯”的研究,它的系統(tǒng)內(nèi)包含兩種或兩種以上模態(tài)算子,并且算子間不可歸約。多模態(tài)邏輯旨在為研究多種類型的模態(tài)提供統(tǒng)一的形式框架,其基礎(chǔ)理論是模態(tài)邏輯理論體系的重要組成部分。多模態(tài)算子及其表述、多模態(tài)邏輯的研究視角、多模態(tài)邏輯系統(tǒng)的分離性以及多模態(tài)邏輯的語義選擇是多模態(tài)邏輯基礎(chǔ)理論研究的基本問題,上述問題的澄清與解決將有助于多模態(tài)邏輯理論的進(jìn)一步發(fā)展。