分支时空结构上的时空逻辑（英文）

Belnap通过在分支时间结构上添加空间关系,提出了更一般化的分支时空结构。在本文中,我们首次为这种分支时空结构建立相应的逻辑系统。在该逻辑中,我们引入一个空间模态算子来表达模型中的空间关系。我们给出该逻辑的公理系统,并证明它的完备性。