本文選題：模態(tài)邏輯　切入點(diǎn)：非外延語境　出處：《哲學(xué)研究》2006年04期

【相似文獻(xiàn)】

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

1 В.А.鮑恰羅夫 ,Е.К.沃伊什維洛 ,А.Г.德拉加林 ,В.А.斯米爾諾夫 ,叢周;蘇聯(lián)邏輯學(xué)發(fā)展的一些情況[J];國外社會科學(xué);1980年03期

2 周昌忠;現(xiàn)代形式邏輯的新發(fā)展[J];社會科學(xué);1981年06期

3 馬希文;有關(guān)“知道”的邏輯問題的形式化[J];哲學(xué)研究;1981年05期

4 澤田允茂 ,孫中原;哲學(xué)和邏輯學(xué)[J];國外社會科學(xué);1981年07期

5 ;書訊[J];國外社會科學(xué);1981年07期

6 諸葛殷同;關(guān)于邏輯知識的兩點(diǎn)意見[J];哲學(xué)研究;1982年06期

7 王鳳琴;《模態(tài)邏輯》簡介[J];國外社會科學(xué);1982年09期

8 于惠棠;歷史考證要注意邏輯性[J];思維與智慧;1982年06期

9 K.J.欣迪卡;倪鼎夫;;邏輯哲學(xué)[J];世界哲學(xué);1982年06期

10 馮玉琳;;程序邏輯概要[J];計(jì)算機(jī)科學(xué);1982年04期

相關(guān)會議論文 前6條

1 陳國勛;閆家杰;;Fuzzy模態(tài)公式的歸約[A];中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

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

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

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

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

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

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

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

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

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

1 顧紅芳;常識推理中非單調(diào)邏輯的研究[D];南京航空航天大學(xué);2001年

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

3 馬亮;論卡爾納普的意義理論[D];中國社會科學(xué)院研究生院;2003年

4 于江濤;多智能體模型、學(xué)習(xí)和協(xié)作研究與應(yīng)用[D];浙江大學(xué);2003年

5 吳瑕;基于擴(kuò)展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

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

7 史t，

本文編號：1664160