分支时空结构上的时空逻辑

摘要：

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

机标关键词：时空结构、空间关系、formal language、temporal logic、逻辑系统、时间结构、模态算子、公理系统、表达模型、一般化、完备性、证明、构建

所属期刊栏目：9

分类号：TP3;O1

资助基金：I would like to thank Nuel Belnap for his detailed reading of the earlier version of this paper and numerous pertinent comments and criticisms. This research is supported by NSSFC Grant14ZDB015;the National Fund of Social Science13BZX066

在线出版日期：2017-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：85-99