首頁 > 期刊 > 自然科學與工程技術 > 基礎科學 > 基礎科學綜合 > 中山大學學報論叢 > 分支時空結構上的時空邏輯 【正文】
摘要:Belnap通過在分支時間結構上添加空間關系,提出了更一般化的分支時空結構。在本文中,我們首次為這種分支時空結構建立相應的邏輯系統。在該邏輯中,我們引入一個空間模態算子來表達模型中的空間關系。我們給出該邏輯的公理系統,并證明它的完備性。
注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社
一對一咨詢服務、簡單快捷、省時省力
了解更多 >直郵到家、實時跟蹤、更安全更省心
了解更多 >去除中間環節享受低價,物流進度實時通知
了解更多 >正版雜志,匹配度高、性價比高、成功率高
了解更多 >