天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

動(dòng)態(tài)邏輯:關(guān)于程序的模態(tài)邏輯

發(fā)布時(shí)間:2018-08-21 12:56

[Abstract]:......
【作者單位】: 中國(guó)社會(huì)科學(xué)院哲學(xué)所;中國(guó)社會(huì)科學(xué)院研究生院哲學(xué)系;
【基金】:北京市哲學(xué)社會(huì)科學(xué)“十一五”規(guī)劃項(xiàng)目(06BaZX022)資助
【分類號(hào)】:B815.1

【相似文獻(xiàn)】

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

1 姚從軍;;雙模擬與模態(tài)邏輯[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

2 郭美云;;從動(dòng)態(tài)認(rèn)知邏輯的角度看偏好——?jiǎng)^榮《動(dòng)態(tài)偏好邏輯》評(píng)介[J];邏輯學(xué)研究;2011年02期

3 劉新文;;皮爾士存在圖的形式推演系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報(bào);2011年05期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

2 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專輯[C];1994年

3 潘天群;;建立在“笛卡爾公理”上的一個(gè)懷疑邏輯系統(tǒng)[A];邏輯與認(rèn)知學(xué)術(shù)研討會(huì)會(huì)議論文集[C];2004年

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

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

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

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

1 史t,

本文編號(hào):2195800


資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/2195800.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶f83f2***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com