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