摘要：Belnap通過在分支時間結(jié)構(gòu)上添加空間關(guān)系，提出了更一般化的分支時空結(jié)構(gòu)。在本文中，我們首次為這種分支時空結(jié)構(gòu)建立相應的邏輯系統(tǒng)。在該邏輯中，我們引入一個空間模態(tài)算子來表達模型中的空間關(guān)系。我們給出該邏輯的公理系統(tǒng)，并證明它的完備性。