動(dòng)態(tài)邏輯:關(guān)于程序的模態(tài)邏輯
[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
本文鏈接:http://sikaile.net/shekelunwen/ljx/2195800.html