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