首页> 中文期刊> 《逻辑学研究》 >分支时空结构上的时空逻辑

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

         

摘要

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

著录项

  • 来源
    《逻辑学研究》 |2016年第4期|85-99|共15页
  • 作者

    刘虎;

  • 作者单位

    中山大学逻辑与认知研究所;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类
  • 关键词

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号