本文關(guān)鍵詞：多模態(tài)邏輯的研究動(dòng)因及意義

  更多相關(guān)文章： 多模態(tài)邏輯 動(dòng)因 意義

【摘要】：模態(tài)邏輯理論的蓬勃發(fā)展是多模態(tài)邏輯產(chǎn)生的理論背景,模態(tài)間的聯(lián)合問題以及模態(tài)邏輯理論的廣泛應(yīng)用是多模態(tài)邏輯研究的動(dòng)因和出發(fā)點(diǎn)。多模態(tài)邏輯作為模態(tài)邏輯理論體系的重要組成部分,對(duì)其進(jìn)行研究具有重要的理論和現(xiàn)實(shí)意義。
【作者單位】： 河北大學(xué)哲學(xué)系;
【基金】：2014年度河北省社會(huì)科學(xué)基金項(xiàng)目《多模態(tài)邏輯及其應(yīng)用功能研究》(HB14ZX012) 河北省高等學(xué)校社會(huì)科學(xué)研究基金項(xiàng)目《多模態(tài)邏輯理論及其在當(dāng)代哲學(xué)中的應(yīng)用》(SQ141127)
【分類號(hào)】：B815.1
【正文快照】： 傳統(tǒng)模態(tài)邏輯多為單模態(tài)邏輯,即在同一系統(tǒng)內(nèi)只考慮一種模態(tài)算子(如時(shí)間、知識(shí)、程序等),很少嘗試著在同一模態(tài)系統(tǒng)內(nèi)同時(shí)考慮多種模態(tài)算子。而隨著模態(tài)邏輯在人工智能、計(jì)算科學(xué)等領(lǐng)域的發(fā)展,人們開始思考這樣的問題:是否可以在同一邏輯系統(tǒng)內(nèi)處理必然、時(shí)間、知識(shí)、義務(wù)、程

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 宋偉;;《模態(tài)邏輯指南》中的若干錯(cuò)誤[J];畢節(jié)學(xué)院學(xué)報(bào);2010年03期

2 朱建平;;布爾和賽格貝格論模態(tài)邏輯的三大傳統(tǒng)[J];山東理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2010年04期

3 李娜;王湘云;;共代數(shù)模態(tài)邏輯研究述評(píng)[J];哲學(xué)動(dòng)態(tài);2011年01期

4 鄭文輝,梁慶寅;談?wù)勀B(tài)邏輯[J];現(xiàn)代哲學(xué);1986年01期

5 R.希爾卑倫;揚(yáng)世武;;模態(tài)邏輯的某些認(rèn)知解釋[J];哲學(xué)譯叢;1987年01期

6 周北海;模態(tài)邏輯與哲學(xué)[J];北京航空航天大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2000年03期

7 張力鋒;模態(tài)邏輯的哲學(xué)歸宿[J];四川大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2004年02期

8 劉新文;余俊偉;;摹略萬物之然,論求群言之比——模態(tài)邏輯新觀念述評(píng)[J];哲學(xué)動(dòng)態(tài);2005年12期

9 張力鋒;;論模態(tài)邏輯的合法性——對(duì)蒯因式模態(tài)詞解讀的批判考察[J];學(xué)術(shù)研究;2006年09期

10 王傳經(jīng);;模態(tài)關(guān)系與意義分析[J];外語研究;2007年02期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 孫衛(wèi)民;;模態(tài)邏輯中幾個(gè)概念的發(fā)展[A];1994年邏輯研究專輯[C];1994年

2 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專輯[C];1995年

3 馮棉;;模態(tài)邏輯研究中的若干問題[A];1993年邏輯研究專輯[C];1993年

4 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專輯[C];1994年

5 李娜;;認(rèn)識(shí)論模態(tài)邏輯E-系統(tǒng)的布爾值模型[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

6 楚白;;有窮深度的模態(tài)邏輯[A];2005年邏輯研究專輯[C];2005年

7 王陽;;模態(tài)邏輯·形式語義·文本符號(hào)[A];2003年邏輯研究專輯[C];2003年

8 裘江杰;;一類認(rèn)知詞模態(tài)邏輯Ⅰ:基礎(chǔ)邏輯[A];2007年全國現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

9 劉邦凡;;一個(gè)知識(shí)表示的廣義模態(tài)邏輯方案[A];2007年全國現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

10 劉邦凡;何向東;;一個(gè)“知識(shí)”定義的邏輯解釋[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 史t，

本文編號(hào)：1214613