[Abstract]:......
【作者單位】： 北京大學(xué)哲學(xué)系
【基金】：教育部哲學(xué)社會(huì)科學(xué)重大課題攻關(guān)項(xiàng)目(編號(hào)04JZD0006)的資助
【分類號(hào)】：B815.5

【相似文獻(xiàn)】

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

1 裘江杰;;基礎(chǔ)認(rèn)知詞模態(tài)邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年04期

2 王輝;;混合語言與時(shí)態(tài)邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年02期

3 裘江杰;;模態(tài)邏輯典范框架的生成子框架[J];邏輯學(xué)研究;2009年04期

4 唐芳芳;;基于廣義謝弗豎的分析性模態(tài)公理系統(tǒng)[J];邏輯學(xué)研究;2009年03期

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

6 王云龍;古代社會(huì)向近代世界轉(zhuǎn)型的多維整合研究簡(jiǎn)論[J];北方論叢;2000年01期

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

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

9 劉奮榮;;概念分析的奠基與發(fā)展[J];自然辯證法研究;2011年04期

10 唐同誥;;程序算子與邏輯算子的統(tǒng)一——一階時(shí)態(tài)邏輯(關(guān)系邏輯)[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);1986年03期

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

1 陳玉泉;陳宣;陸汝占;;內(nèi)涵時(shí)態(tài)邏輯的語義解釋系統(tǒng)[A];自然語言理解與機(jī)器翻譯——全國第六屆計(jì)算語言學(xué)聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2001年

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

3 張建軍;羅景仁;;一個(gè)新的時(shí)態(tài)邏輯系統(tǒng)和DB形式化描述方法[A];第九屆全國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集(上)[C];1990年

4 陳國勛;陳斌;;F-時(shí)態(tài)命題邏輯中的歸結(jié)原理[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

5 高思存;;一個(gè)刻畫n叉有限樹的模態(tài)系統(tǒng)及其應(yīng)用[A];2005年邏輯研究專輯[C];2005年

6 田國會(huì);劉長(zhǎng)有;徐心和;;電梯服務(wù)系統(tǒng)的時(shí)態(tài)邏輯描述、分析與控制[A];1996年中國控制會(huì)議論文集[C];1996年

7 李文江;陳圖云;;基于模糊測(cè)度的模態(tài)邏輯[A];模糊集理論與應(yīng)用——98年中國模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

8 王飛明;胡元闖;董榮勝;;模型檢測(cè)中狀態(tài)爆炸及其優(yōu)化策略研究[A];廣西計(jì)算機(jī)學(xué)會(huì)2008年年會(huì)論文集[C];2008年

9 田國會(huì);劉長(zhǎng)有;徐心和;;離散事件動(dòng)態(tài)系統(tǒng)理論的時(shí)態(tài)邏輯研究方法[A];1996中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1996年

10 李曉鷗;郭令忠;徐心和;;Petri網(wǎng)監(jiān)控的時(shí)態(tài)邏輯框架[A];1994中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1994年

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

1 本報(bào)記者 夏藝心;永遠(yuǎn)走在追求完美的路上[N];中華建筑報(bào);2009年

2 河南省軍區(qū)司令部 陳曉剛;善于傾聽不同聲音[N];解放軍報(bào);2011年

3 陳岸瑛;文字和數(shù)字創(chuàng)造的世界[N];中華讀書報(bào);2003年

4 解月;以人為本 “人”是誰？[N];廠長(zhǎng)經(jīng)理日?qǐng)?bào);2001年

5 本報(bào)記者 高宏亮;專題博物館向我們走來[N];太原日?qǐng)?bào);2010年

6 陳慕澤;多主體系統(tǒng)中的互知[N];光明日?qǐng)?bào);2000年

7 劉國玉 學(xué)良;重在“人學(xué)”的文學(xué)通史[N];光明日?qǐng)?bào);2000年

8 于寧樓;太平洋溫泉奇景[N];中國綠色時(shí)報(bào);2000年

9 本報(bào)記者 趙明;不公平的市場(chǎng)妨礙競(jìng)爭(zhēng)與崛起[N];中國經(jīng)濟(jì)時(shí)報(bào);2010年

10 秦帥 趙紅兵 王忠于;壺關(guān)：小額農(nóng)貸辟扶貧新路[N];發(fā)展導(dǎo)報(bào);2001年

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

1 呂帥;基于自動(dòng)推理技術(shù)的智能規(guī)劃方法研究[D];吉林大學(xué);2010年

2 潘海玉;狀態(tài)轉(zhuǎn)換系統(tǒng)的格值量化驗(yàn)證方法研究[D];華東師范大學(xué);2012年

3 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究[D];西南交通大學(xué);2002年

4 史t，

本文編號(hào)：2167939