分支时空结构上的时空逻辑
中山大学逻辑与认知研究所
- 时空结构
- 逻辑系统
- 空间关系
- 时间结构
- 公理系统
摘要：Belnap通过在分支时间结构上添加空间关系，提出了更一般化的分支时空结构。在本文中，我们首次为这种分支时空结构建立相应的逻辑系统。在该逻辑中，我们引入一个空间模态算子来表达模型中的空间关系。我们给出该逻辑的公理系统，并证明它的完备性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
我们提供的服务
在线客服
一对一咨询服务、简单快捷、省时省力
了解更多 >
快递配送
直邮到家、实时跟踪、更安全更省心
了解更多 >
杂志订阅
去除中间环节享受低价，物流进度实时通知
了解更多 >
杂志推荐
正版杂志，匹配度高、性价比高、成功率高
了解更多 >