首页 > 期刊 > 自然科学与工程技术 > 基础科学 > 基础科学综合 > 中山大学学报论丛 > 分支时空结构上的时空逻辑 【正文】
分支时空结构上的时空逻辑
中山大学逻辑与认知研究所
- 时空结构
- 逻辑系统
- 空间关系
- 时间结构
- 公理系统
摘要：Belnap通过在分支时间结构上添加空间关系，提出了更一般化的分支时空结构。在本文中，我们首次为这种分支时空结构建立相应的逻辑系统。在该逻辑中，我们引入一个空间模态算子来表达模型中的空间关系。我们给出该逻辑的公理系统，并证明它的完备性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
