本文關(guān)鍵詞：互模擬理論的邏輯研究述評

  更多相關(guān)文章： 互模擬 模態(tài)邏輯 模擬理論 集合論 等價性 計算機科學(xué) 良基集 哲學(xué)邏輯 模型類 等價關(guān)系

【摘要】：正在20世紀(jì)70年代前后,互模擬理論在許多領(lǐng)域被獨立建立。自從范本特姆(Van Benthem)定理問世之后,互模擬被廣泛地運用于模態(tài)邏輯的研究中,目前已成為模態(tài)邏輯模型論的一個核心概念;在集合論中,互模擬的研究不斷向深度和廣度擴展。當(dāng)今,互模擬不斷地被用到新的形式化理論中,這對于邏輯學(xué),特別是哲學(xué)邏輯的進一步發(fā)展將起到極大的促進作用。
【作者單位】： 南開大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 互模擬 模態(tài)邏輯 模擬理論 集合論 等價性 計算機科學(xué) 良基集 哲學(xué)邏輯 模型類 等價關(guān)系
【基金】：2008年國家社會科學(xué)基金項目“超集、互模擬以及在模態(tài)邏輯、計算機科學(xué)中的作用研究”(編號:08BZX049)的研究成果之一
【分類號】：B815.1
【正文快照】： 在20世紀(jì)70年代前后，互模擬理論在許多領(lǐng)域被獨立建立。自從范本特姆(Van Benthem)定理問世之后，互模擬被廣泛地運用于模態(tài)邏輯的研究中，目前已成為模態(tài)邏輯模型論的一個核心概念;在集合論中，互模擬的研究不斷向深度和廣度擴展。當(dāng)今，互模擬不斷地被用到新的形式化理論

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前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)于邏輯知識的兩點意見[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];計算機科學(xué);1982年04期

中國重要會議論文全文數(shù)據(jù)庫 前10條

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 蕭德云;莫以為;;混合系統(tǒng)的驗證與控制綜合[A];第二十一屆中國控制會議論文集[C];2002年

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

6 顏鋒;陳韜略;韓婷婷;呂建;;Pi演算的一種變例及其開互模擬[A];2005年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2005年

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

8 郭美云;;一般群體知識的多主體認(rèn)知邏輯[A];2005年邏輯研究專輯[C];2005年

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

10 武彥平;;通信距離受限的進程代數(shù)研究[A];2009年研究生學(xué)術(shù)交流會通信與信息技術(shù)論文集[C];2009年

中國重要報紙全文數(shù)據(jù)庫 前2條

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

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

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

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

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

3 陳靖;帶實時的傳值與移動系統(tǒng)研究[D];中國科學(xué)院研究生院（軟件研究所）;2003年

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

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

6 劉劍;傳值進程與移動進程的模型檢測方法[D];中國科學(xué)院研究生院（軟件研究所）;2005年

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

8 蔣建民;對稱與動作細(xì)化[D];中國科學(xué)院研究生院（成都計算機應(yīng)用研究所）;2006年

9 郭美云;帶有群體知識的動態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

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

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 趙磊;模糊粗糙理論及其模態(tài)邏輯的研究[D];電子科技大學(xué);2001年

2 杜旭濤;π-演算交互式驗證工具的研究與實現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2002年

3 蔣正峰;逆向歸納悖論研究[D];華南師范大學(xué);2003年

4 柴同文;英語中的情態(tài)：系統(tǒng)功能視角[D];曲阜師范大學(xué);2003年

5 李晶;基于能力與思維的協(xié)商公理體系多Agent 系統(tǒng)模型[D];云南師范大學(xué);2003年

6 劉冬寧;時態(tài)邏輯及其對知識庫的構(gòu)架與研究[D];廣東工業(yè)大學(xué);2004年

7 姬莉霞;基于時間自動機的實時系統(tǒng)規(guī)范驗證研究[D];鄭州大學(xué);2004年

8 董煥防;博弈理論在互模擬和模態(tài)μ-演算上的一些應(yīng)用[D];中國科學(xué)院研究生院（軟件研究所）;2005年

9 鄧維佳;一種擴展的并發(fā)傳值進程抽象模型[D];中國科學(xué)院研究生院（軟件研究所）;2005年

10 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

，

本文編號：864874