本文選題：鄰域語義學(xué) + 模型完全性��； 參考：《哲學(xué)研究》2000年09期

【共引文獻(xiàn)】

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

1 陳波;現(xiàn)代邏輯中的哲學(xué)問題[J];北京航空航天大學(xué)學(xué)報(bào)(社會科學(xué)版);2000年02期

2 劉葉濤;關(guān)于可能世界視域中的名稱與本質(zhì)問題——兼評中西學(xué)者在相關(guān)領(lǐng)域中的學(xué)術(shù)論爭[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2005年01期

3 劉勇,蒲樹禎,程代杰,曹澤翰;BDI模型信念特性研究[J];計(jì)算機(jī)研究與發(fā)展;2005年01期

4 程顯毅,石純一;避免邏輯全知的BDI語義[J];軟件學(xué)報(bào);2002年05期

5 張?jiān)佘S,眭躍飛,曹存根;基于模糊命題模態(tài)邏輯的形式推理系統(tǒng)(英文)[J];軟件學(xué)報(bào);2005年08期

6 潘天群;建立在“笛卡爾公理”上的一個(gè)懷疑邏輯系統(tǒng)[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2004年05期

7 王路;邏輯哲學(xué)研究述評(下)[J];哲學(xué)動態(tài);2003年05期

8 劉壯虎;必然性的邏輯分析[J];哲學(xué)研究;2002年02期

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

1 劉勇;多Agent系統(tǒng)理論和應(yīng)用研究[D];重慶大學(xué);2003年

2 賀天平;量子力學(xué)模態(tài)解釋及其方法論研究[D];山西大學(xué);2006年

3 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

4 宋一兵;計(jì)算機(jī)生成兵力中智能體技術(shù)與應(yīng)用研究[D];哈爾濱工程大學(xué);2006年

5 張立娜;個(gè)體詞的邏輯語義[D];清華大學(xué);2007年

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

1 楊家勝;現(xiàn)代俄語中的評價(jià)范疇[D];黑龍江大學(xué);2001年

2 韓宇勝;論法律的不確定性[D];中國政法大學(xué);2001年

3 夏夢;金岳霖邏輯與邏輯系統(tǒng)思想述評[D];西南師范大學(xué);2002年

4 劉國鋒;D·劉易斯的可能世界理論——模態(tài)實(shí)在論研究[D];華南師范大學(xué);2003年

5 王軼;認(rèn)知邏輯的動態(tài)化理論[D];中國人民大學(xué);2005年

6 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

7 蔣軍利;公開更新邏輯[D];西南大學(xué);2007年

8 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

9 董英東;多主體自認(rèn)知邏輯系統(tǒng)及其應(yīng)用[D];西南大學(xué);2008年

10 劉珂;動態(tài)認(rèn)知邏輯發(fā)展初探[D];河南大學(xué);2008年

【相似文獻(xiàn)】

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

1 劉壯虎;;無窮算子和量詞[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2009年03期

2 許滌非;單主體認(rèn)知邏輯的研究——全知性和真知性[J];湘潭師范學(xué)院學(xué)報(bào)(社會科學(xué)版);2003年02期

3 余俊偉;;從鄰域語義學(xué)的觀點(diǎn)看否定(英文)[J];邏輯學(xué)研究;2008年02期

4 王軼;許滌非;;否定的鄰域語義分析[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2007年04期

5 周北海;毛翊;;常識推理基礎(chǔ)邏輯系統(tǒng)M的完全性[J];西南大學(xué)學(xué)報(bào)(人文社會科學(xué)版);2006年01期

6 毛翊;金岳霖百年誕辰學(xué)術(shù)討論會邏輯組討論紀(jì)要[J];哲學(xué)研究;1995年10期

7 郭澤深;中國邏輯學(xué)會現(xiàn)代邏輯研討會綜述[J];哲學(xué)動態(tài);1999年04期

8 許滌非;自信性認(rèn)知邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2004年05期

9 高恒珊,呂健安;量詞模態(tài)邏輯的代數(shù)語義學(xué)(Ⅳ,上)──關(guān)于含BARCAN公式的非正規(guī)模態(tài)系統(tǒng)情形[J];哲學(xué)研究;1998年12期

10 劉壯虎;必然性的邏輯分析[J];哲學(xué)研究;2002年02期