-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
正規(guī)多模態(tài)邏輯研究 版權信息
- ISBN:9787030782397
- 條形碼:9787030782397 ; 978-7-03-078239-7
- 裝幀:平裝
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>>
正規(guī)多模態(tài)邏輯研究 內(nèi)容簡介
模態(tài)邏輯是現(xiàn)代邏輯研究的重要領域,多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng),且算子之間不可規(guī)約,它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角,構建了多模態(tài)邏輯一般系統(tǒng),為形式化研究各種類型的模態(tài)提供了一般的邏輯框架;證明了多模態(tài)邏輯一般系統(tǒng)的接近性、對應性、可判定性等元邏輯問題的一般性結論;揭示了多模態(tài)邏輯的哲學背景及其解題功能,論述了多模態(tài)邏輯在哲學中的應用價值。
正規(guī)多模態(tài)邏輯研究 目錄
正規(guī)多模態(tài)邏輯研究 作者簡介
學術論文"多模態(tài)邏輯的研究動因及意義"獲河北省第十五屆社會科學優(yōu)秀成果三等獎(排名第一),參與完成項目"達米特與戴維森語言哲學思想比較研究"獲河北省第九屆社會科學基金項目優(yōu)秀成果三等獎(排名第二)。主持完成項目"多模態(tài)邏輯及其應用功能研究"獲保定市第二屆哲學社會科學規(guī)劃課題優(yōu)秀成果一等獎(排名第一)。
- >
我與地壇
- >
詩經(jīng)-先民的歌唱
- >
羅庸西南聯(lián)大授課錄
- >
名家?guī)阕x魯迅:朝花夕拾
- >
自卑與超越
- >
我從未如此眷戀人間
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
推拿