【摘要】：模態(tài)邏輯作為一個(gè)新興的邏輯學(xué)科,產(chǎn)生了非常之多的模態(tài)系統(tǒng),這些系統(tǒng)的起源是多元的;模態(tài)邏輯的歷史發(fā)展經(jīng)歷了語(yǔ)形時(shí)期、經(jīng)典時(shí)期和現(xiàn)代時(shí)期;在模態(tài)邏輯的現(xiàn)代時(shí)期,計(jì)算機(jī)科學(xué)的發(fā)展從根本上改變了人們對(duì)模態(tài)邏輯能夠用來(lái)干什么以及模態(tài)邏輯如何付諸運(yùn)用的期待。
[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é)院
【分類號(hào)】：B815.1

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 ;中國(guó)邏輯學(xué)：回顧、反省與前瞻[N];光明日?qǐng)?bào);2003年

2 陳波;人工智能 當(dāng)代邏輯發(fā)展的動(dòng)力[N];光明日?qǐng)?bào);2000年

3 沈躍春;現(xiàn)代邏輯學(xué)及其發(fā)展趨勢(shì)[N];人民日?qǐng)?bào);2004年

4 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日?qǐng)?bào);2007年

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

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

7 鞠實(shí)兒 任遠(yuǎn)《邏輯學(xué)研究》編輯部;《邏輯學(xué)研究》:誕生與成長(zhǎng)[N];中國(guó)社會(huì)科學(xué)報(bào);2009年

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

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

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

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

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

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

，

本文編號(hào)：2312355