%0 Journal Article
%T 分支时空结构上的时空逻辑<br>A Temporal-Spatial Logic for Branching Space-times
%A 刘虎
%J 逻辑学研究
%D 2016
%X Belnap 通过在分支时间结构上添加空间关系，提出了更一般化的分支时空结构。在本文中，我们首次为这种分支时空结构建立相应的逻辑系统。在该逻辑中，我们引入一个空间模态算子来表达模型中的空间关系。我们给出该逻辑的公理系统，并证明它的完备性。<br
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract266.shtml