正規模態是2009年公布的大氣科學名詞。
基本介紹
- 中文名：正規模態
- 外文名：normal mode
- 所屬學科：大氣科學
- 公布年度：2009年
定義,出處,
定義
正交規範化的波解。
出處
《大氣科學名詞》。
正規模態
相關詞條
- 正規模態
正規模態是2009年公布的大氣科學名詞。定義正交規範化的波解。出處《大氣科學名詞》。...
- 正規多模態邏輯研究
《正規多模態邏輯研究》是2024年科學出版社出版的圖書，作者是趙賢。內容簡介 模態邏輯是現代邏輯研究的重要領域，多模態邏輯則是模態邏輯研究的前沿領域。多模態邏輯是包含兩種或兩種以上模態運算元的模態邏輯系統，且運算元之間不可規約，它是模態邏輯的重要組成部分。該書以模態互動作用公理為視角，構建了多模態邏輯一般系統...
- 正規世界
正規世界（normal world）模態邏輯用語。在模態邏輯的可能世界語義模型中，如果一個世界w，滿足白返性的要求，即有wiRw1成立，那么稱wi為一個正規世界。在正規模態命題邏輯系統T、S4、B和Ss的可能世界語義模型中，每一個世界都是正規世界。非正規世界是模態邏輯用語。在模態邏輯的可能世界語義模型中，以下兩種世界稱...
- 非正規模態系統
非正規模態系統是在一個模態系統中，如果“必然規則”（即若卜A，則卜口A，其中的口是“必然”）不成立，那么該系統為非正規模態系統。與“正規模態系統”相對。例如，模態命題邏輯系統Si、S2和S3都是非正規模態系統。正規世界是模態邏輯用語。在模態邏輯的可能世界語義模型中，如果一個世界w，滿足白返性的要求，...
- 模態邏輯
這是多數但不是全部模態邏輯系統的規則。Jay Zeman的書《Modal Logic》覆蓋了沒有這個規則的系統如S1^0。其他周知的基本公理：4:B:D:5:這些公理產生的系統：K:=K+N T:=K+T S4:=T+4 S5:=S4+5 D:=K+D.K到S5形成了嵌套的系統層級，建造了正規模態邏輯的核心。D主要對探索模態邏輯的道義解釋的人有...
- 模態代數
模態代數提供了命題模態邏輯的模型，以和布爾代數是經典邏輯的模型相同的方式。特別是，所有模態代數的簇是在抽象代數邏輯意義下的模態邏輯K的等價代數語義，並且它的子簇們的格對偶同構於正規模態邏輯的格。Stone布爾代數表示定理可以推廣為Jónsson–Tarski對偶性，它確保了每個模態代數可以表示為在模態一般框架內可容納...
- 模態夥伴
對於擴展S4的任何正規模態邏輯M，我們定義它的si-片段ρM為 任何S4的正規擴展的 si-片段是中間邏輯。模態邏輯M是中間邏輯L的模態夥伴，如果 。所有中間邏輯都有模態夥伴。L的最小模態夥伴是 這裡的 + 指示正規閉包。可以證實所有中間邏輯還有最大模態夥伴，它指示為 σL。模態邏輯M是L的夥伴，若且唯若 。例如...
- 模態運算元
模態運算元（modal operator）亦稱“模態詞”。在真值模態邏輯中主要指“必然”（可用符號□表示）和“可能”（可用符號◇表示）。更廣義地說，模態運算元還可以包括允許、必須、禁止、相信、知道，等等。一切含有模態詞的命題就構成模態命題。在模態邏輯里研究的是建立推理的結構和規律，構成這些推理的有含下述邏輯常項的...
- 正壓模態
正壓模態 正壓模態是2009年公布的大氣科學名詞。定義 正壓大氣的波解。出處 《大氣科學名詞》。
- 模態邏輯導論
第八章模態代數語義學 8.1 代數語義學 8.2 模態矩陣與正規模態矩陣 8.3 布爾代數 8.4 模態代數 8.5 可判定性 8.6 正規全可加冪集代數與框架的對應 8.7 表示定理 8.8 一般框架 8.9 兩點說明 第九章模態謂詞邏輯（Ⅰ）邏輯、演算和完全性 9.1 模態謂詞邏輯概述 9.2 形式語言及其語義分析 9.3 ...
- 模態模型論
S.A.克里普克於1959年發表在《符號邏輯雜誌》上的題為《模態邏輯的一個完備性定理》一文中首先提出了關係模型（或稱關係語義解釋）的概念,並證明了帶量詞的S5（在該文中記為S5*）相對於該關係模型概念為完備的；稍後又接連發表幾篇論文對各種正規和非正規模態系統提出了相應的關係語義解釋，即關係模型概念。歷史...
- 模態邏輯教程
14.1 鄰域語義與非正規模態邏輯 246 14.2 可靠性與完全性 253 14.3 模態表達力與不變性.258 14.4 模態對應與翻譯 261 14.5 文獻註記 266 第 15 章 代數語義.267 15.1 預備知識 267 15.2 命題邏輯的代數語義.271 15.3 模態邏輯的代數語義.276 15.4 對偶理論 281 15.5 文獻註記 286 第四部分 ...
- 臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究
《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》是2017年科學出版社出版的圖書，作者是杜珊珊、康宏逵。內容簡介 《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》詳述傳遞的瀕表格邏輯的判據及其套用，以及在此基礎上所做的關於瀕表格邏輯的若干研究結果，解決了傳遞邏輯格的瀕表格性的語義判據，以及傳遞邏輯格的...
- 關係語義
正規模態邏輯 L 對應於框架類 C，條件是 C=Mod(L)。換句話說，C 是 L 關於 C 是可靠的最大的框架類；隨後 L 是 Kripke 完備的若且唯若它關於它所對應的類是完備的。作為一個例子，考慮模式 T : \BoxA → A。T 在任何自反的框架 中是有效的: 如果 w \Vdash \BoxA，則 w \VdashA，因為 w ...
- BDI模型
當前主體(agent)使用的BDI模型一般都是在Cohen和Levesque的正規模態邏輯的意圖模型以及Rao和Georgeff的BDI計算數邏輯模型基礎上發展起來的，即側重於形式描述信念(belief)、願望(desire)和意圖(intention)，簡稱BDI，其本質上要解決的問題是如何確定主體(agent)的目標以及如何實現這個目標。一個BDI模型包含三種基本成分：（...
- 結構證明論(第二版)
161 6.3 直覺主義謂詞邏輯的矢列演算 171 習題 176 第7章 古典模態句子邏輯 178 7.1 正規模態邏輯 178 7.2 模態矢列演算 192 7.3 超矢列演算 205 習題 215 第8章 代數邏輯 218 8.1 偏序代數結構 218 8.2 格與分配格 221 8.3 德摩根代數 234 習題 241 參考文獻 243 後記 247 ...
- 必然、蘊涵、世界與關係
第五章模態K系統及其擴張 第一節從嚴格蘊涵系統到K系統 第二節正規模態邏輯和模態擴張的相關概念 第三節K擴張系統 第六章模態樹圖語義學 第一節K樹圖 第二節K的擴張樹圖 第七章K和K擴張系統的完備性 第一節K和K擴張系統的可靠性 第二節K和K擴張系統樹圖轉換 第三節K和K擴張系統的完全性證明 第八章典範...
- 結構證明論
170 5.3 直覺主義謂詞邏輯的矢列演算 181 5.4 習題 186？第6章 經典模態命題邏輯 188 6.1 正規模態邏輯 188 6.2 模態矢列演算 202 6.3 超矢列演算 215 6.4 習題 225 第7章 代數邏輯 228 7.1 偏序代數結構 228 7.2 格與分配格 231 7.3 加運算元的分配格 244 7.4 習題 251 參考文獻 ...
- 哲學邏輯研究
第2章模態邏輯 第1節模態系統 第2節正規模態系統 第3節模態謂詞邏輯 第3章時態邏輯 第1節語言 第2節解釋 第3節形式系統 第4節時態邏輯的完全性 第5節禁對稱性和完全性 第6節判定問題 第7節帶量詞的時態邏輯 第8節時態邏輯與模態邏輯 第9節其他時態詞 第4章條件句邏輯 第1節形式系統 第2節鄰域模型論 ...
- 邏輯中的表列方法
第五章模態邏輯的表列方法 第一節模態邏輯的形式語言和公理系統 一、模態邏輯的形式語言 二、正規模態邏輯的公理系統 第二節Kripke語義：模型和框架 一、模型和框架 二、模態公式與和框架性質（一階公式）的對應 第三節模態語義圖 一、Kfipke語義圖 二、加標語義圖 三、D、T、S4、B和S5的語義圖 四、模態...
- 可能世界的名字
一 模態邏輯背景 二 混合邏輯的理論意義 三 混合邏輯簡史 第二章 基本模態邏輯與時態邏輯 一 語言與邏輯 二 關係語義學 三 正規模態邏輯的公理系統 四 普通模態語言的表達能力 第三章 基本混合邏輯 一 基本混合語言 二 混合語言 三 混合邏輯 四 KH@和KH 第四章 一般完全性結果 第五章 混合時態邏輯 一 Past...
- 劉佶鑫
博士論文《弱聚合模態邏輯的模型論研究》系統探討了該邏輯的語義學、表達力及插值定理，分為正規多元模態邏輯基礎、完全性研究和鄰域模型三部分。2017年10月至2018年10月，赴加州大學伯克利分校訪問交流。學術研究 劉佶鑫的研究集中於模態邏輯模型論，尤其是弱聚合模態邏輯（WAML）和多元模態邏輯。他在WAML的模型論性質（...
- 基於Agent的計算
6.5.1正規機率模態語義227 6.5.2PBLω的機率模態語義及完備性229 6.5.3PBLr的機率模態語義及弱完備性234 6.6多Agent系統形式規範中的進程演算239 6.6.1基於內部選擇的CCS系統及弱互模擬的同餘性239 6.6.2基於並行動作的π演算及強互模擬的同餘性247 6.6.3傳遞知識的進程演算259 6.7小結264 第7章...
- 馬明輝(中山大學哲學系教授)
非經典邏輯（證明論和模型論），模態邏輯，現代邏輯史與形上學。出版圖書 學術成果 論文 1. Minghui Ma and A.-V. Pietarinen. Proof analysis of Peirce’s alpha system of graphs. Studia Logica, 2017, Doi :10.1007/s11225-016-9703-y.2. Minghui Ma and A.-V. Pietarinen. Peirce’s sequent...
- 計算機科學的數學基礎
第十三章 模態邏輯 13.1 模態詞“必然”與“可能”13.2 模態命題邏輯系統 13.3 模態狹義謂詞邏輯 第十四章 非單調邏輯 14.1 單調性與非單調性 14.2 非單調邏輯 14.3 預設推理 14.4 非單調邏輯系統 14.5 限定理論 第十五章 模糊邏輯 15.1 邏輯與不確定性的研究 15.2 模糊集 15.3 模糊邏輯的代數...
- 建築工程全壽命周期綜合性能分析與評價
3.4基本振動模態回響動力分析 3.5兩個正規化振動模態回響動力分析 參考文獻 第4章動力非線性時程分析 4.1概述 4.2帶非線性剛度的單自由度結構體系回響 4.3帶非線性剛度的多自由度結構體系回響 4.4塑性位移與力分析方法 4.5力分析法的單自由度結構回響 4.6力分析法的多自由度結構回響 4.7力分析法的塑性...
- 抑鬱症(常見的精神障礙)
抑鬱症的中醫治療暫無循證醫學證據支持，但一些中醫治療方法或藥物可緩解症狀，建議到正規醫療機構，在醫師指導下治療。 預後 抗抑鬱藥物治療對抑鬱心境及伴隨的焦慮、緊張和軀體症狀均有治療效果，有效率可達60%~70%。因此，積極配合醫生的治療，嚴格遵醫囑用藥，大多患者的症狀可緩解，且能夠恢復病前的狀態。但抑鬱...
- 村超
1991年4月“榕城杯”足球賽期間，除正規化比賽外，一些非比賽隊伍開展對抗賽和挑戰賽，《貴州日報》於24日第一版以《古州鎮上的足球熱》為題報導了這一賽事，稱“滿城足球‘游擊隊’與19支‘正規軍’爭奪‘陣地’”，對榕江城關職工足球運動作了真實的描寫。足球運動在榕江縣有著廣泛的民眾基礎，鄉村足球賽、周末...
