【相似文獻】

相關期刊論文 前10條

1 裘江杰;;基礎認知詞模態(tài)邏輯[J];湖南科技大學學報(社會科學版);2009年04期

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

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

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

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

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

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

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

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

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

相關會議論文 前10條

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

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

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

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

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

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

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

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

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

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

相關重要報紙文章 前10條

1 本報記者 夏藝心;永遠走在追求完美的路上[N];中華建筑報;2009年

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

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

4 解月;以人為本 “人”是誰？[N];廠長經(jīng)理日報;2001年

5 本報記者 高宏亮;專題博物館向我們走來[N];太原日報;2010年

6 陳慕澤;多主體系統(tǒng)中的互知[N];光明日報;2000年

7 劉國玉 學良;重在“人學”的文學通史[N];光明日報;2000年

8 于寧樓;太平洋溫泉奇景[N];中國綠色時報;2000年

9 本報記者 趙明;不公平的市場妨礙競爭與崛起[N];中國經(jīng)濟時報;2010年

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

相關博士學位論文 前10條

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

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

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

4 史t，

本文編號：2167939