本文選題：時空結構 + 空間關系��； 參考：《邏輯學研究》2016年04期

【摘要】：Belnap通過在分支時間結構上添加空間關系,提出了更一般化的分支時空結構。在本文中,我們首次為這種分支時空結構建立相應的邏輯系統(tǒng)。在該邏輯中,我們引入一個空間模態(tài)算子來表達模型中的空間關系。我們給出該邏輯的公理系統(tǒng),并證明它的完備性。
[Abstract]:Belnap proposes a more general branch space-time structure by adding spatial relationships in the branch time structure. In this paper, we first set up a corresponding logical system for this branch space-time structure. In this logic, we introduce a spatial mode operator to express the spatial relationship in the model. We give the axiom system of the logic. And prove its completeness.

【作者單位】： 中山大學邏輯與認知研究所;
【基金】：supported by NSSFC Grant (14ZDB015) the National Fund of Social Science (13BZX066)
【分類號】：B815.3

【相似文獻】

相關期刊論文 前10條

1 何凡;;電影的時空結構與表現[J];美術大觀;2010年01期

2 曾昭來;;論電視劇的時空特性[J];湖南師范大學社會科學學報;1993年01期

3 闞少杰;;試析《追憶似水年華》的獨特時空結構[J];韶關學院學報;2013年07期

4 朱永杰;韓光輝;;清代新疆“滿城”時空結構研究[J];滿族研究;2010年03期

5 吳可;;異質的時空[J];長江文藝;2014年06期

6 李茂民;;《再說長江》的時空結構及其功能意義[J];電視研究;2006年12期

7 黃鈞;關劇時空結構析評[J];中國文學研究;1995年04期

8 陳彥平;;《還鄉(xiāng)》中悲劇的時空結構與典型人物的塑造[J];生物技術世界;2013年11期

9 郭五林;電視劇的時空結構[J];當代傳播;2002年04期

10 朱永杰;崔躍峰;韓光輝;;清代密云“滿城”時空結構研究[J];江漢論壇;2010年05期

相關會議論文 前3條

1 易順民;唐輝明;;滑坡活動時空結構的信息維特征[A];第五屆全國工程地質大會文集[C];1996年

2 徐艷輝;;準一維電極上非線性時空結構[A];第十二屆全國非線性振動暨第九屆全國非線性動力學和運動穩(wěn)定性學術會議論文集[C];2009年

3 劉偉強;;大理旅游區(qū)時空結構研究[A];區(qū)域旅游開發(fā)研究[C];1991年

相關重要報紙文章 前2條

1 楊義;一部充滿命運傳奇的文化小說[N];文藝報;2000年

2 繆開和;讓主旋律作品充滿藝術魅力[N];人民日報;2001年

相關碩士學位論文 前1條

1 趙魁林;電影剪輯對影像時空結構重建的運用研究[D];江西師范大學;2014年

，

本文編號：1814998