【摘要】：模態(tài)邏輯作為一個新興的邏輯學(xué)科,產(chǎn)生了非常之多的模態(tài)系統(tǒng),這些系統(tǒng)的起源是多元的;模態(tài)邏輯的歷史發(fā)展經(jīng)歷了語形時期、經(jīng)典時期和現(xiàn)代時期;在模態(tài)邏輯的現(xiàn)代時期,計算機科學(xué)的發(fā)展從根本上改變了人們對模態(tài)邏輯能夠用來干什么以及模態(tài)邏輯如何付諸運用的期待。
[Abstract]:As a new discipline of logic, modal logic has produced a lot of modal systems, the origin of these systems is multivariate, the historical development of modal logic has experienced the linguistic period, the classical period and the modern period. In the modern period of modal logic, the development of computer science has fundamentally changed the expectations of what modal logic can do and how modal logic can be applied.
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院
【分類號】：B815.1

【相似文獻】

相關(guān)期刊論文 前10條

1 J.T.Schwartz;蘇運霖;;數(shù)學(xué)和計算機科學(xué)的相互影響[J];計算機科學(xué);1982年01期

2 熊明輝;“全國邏輯與計算機科學(xué)學(xué)術(shù)研討會”綜述[J];哲學(xué)動態(tài);2002年04期

3 黃智生;;關(guān)于知識的推理[J];計算機科學(xué);1991年01期

4 陳波;從《哲學(xué)邏輯手冊》(第二版)看當(dāng)代邏輯的發(fā)展趨勢[J];學(xué)術(shù)界;2004年05期

5 康巧茹;邏輯研究的第二次轉(zhuǎn)向[J];寧夏黨校學(xué)報;2003年02期

6 任曉明;李健;;模型檢測思想和方法的演進[J];哲學(xué)動態(tài);2010年10期

7 王瑩瑩;陳勇濤;;多值邏輯與認知研究新進展[J];國際學(xué)術(shù)動態(tài);2008年02期

8 王克宏;胡篷;石純一;;情景邏輯與時態(tài)邏輯在知識處理中的應(yīng)用[J];計算機科學(xué);1992年02期

9 王瑋;;“國際邏輯會議LOGIC2009”會議綜述[J];邏輯學(xué)研究;2009年03期

10 李志昌;;論“算法”[J];思維與智慧;1993年02期

相關(guān)會議論文 前10條

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

2 陳波;;從《哲學(xué)邏輯手冊》(第二版)看當(dāng)代邏輯的發(fā)展趨勢[A];小康社會：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

3 陳自立;;直覺主義邏輯的新公理系統(tǒng)RH[A];1995年邏輯研究專輯[C];1995年

4 張尚水;;二十世紀邏輯學(xué)的發(fā)展[A];邏輯學(xué)文集[C];1978年

5 ;貴州制約邏輯學(xué)會簡介[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

6 張建軍;;邏輯全能問題與動態(tài)認知邏輯[A];2000年邏輯研究專輯[C];2000年

7 ;學(xué)術(shù)活動和科研成果是學(xué)會的生命線——學(xué)會工作體會[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

8 鄒崇理;;信息時代的自然語言邏輯研究特色[A];2000年邏輯研究專輯[C];2000年

9 任曉明;崔清田;;邏輯多元論與邏輯在人文科學(xué)中的應(yīng)用研究——兼談《次協(xié)調(diào)邏輯與人工智能》[A];2003年邏輯研究專輯[C];2003年

10 張錦文;;推理與計算[A];邏輯學(xué)文集[C];1978年

相關(guān)重要報紙文章 前7條

1 ;中國邏輯學(xué)：回顧、反省與前瞻[N];光明日報;2003年

2 陳波;人工智能 當(dāng)代邏輯發(fā)展的動力[N];光明日報;2000年

3 沈躍春;現(xiàn)代邏輯學(xué)及其發(fā)展趨勢[N];人民日報;2004年

4 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日報;2007年

5 本報記者 賀修平;云大王瑞探究“拉母賽理論”取得實質(zhì)性突破[N];云南科技報;2009年

6 華東師范大學(xué) 馮棉;邏輯科學(xué)，將充滿活力[N];社會科學(xué)報;2004年

7 鞠實兒 任遠《邏輯學(xué)研究》編輯部;《邏輯學(xué)研究》:誕生與成長[N];中國社會科學(xué)報;2009年

相關(guān)碩士學(xué)位論文 前5條

1 車付翠;計算機科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

2 盧延鑫;邏輯學(xué)在計算機科學(xué)中的應(yīng)用[D];上海社會科學(xué)院;2008年

3 王永安;二值命題邏輯公式在等價意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年

4 劉素姣;一階謂詞邏輯在人工智能中的應(yīng)用[D];河南大學(xué);2004年

5 金宏妍;人工智能視野下的進化邏輯研究[D];燕山大學(xué);2010年

，

本文編號：2312355