本文關(guān)鍵詞：走進(jìn)模態(tài)邏輯的互模擬

  更多相關(guān)文章： 模態(tài)邏輯 同態(tài) 有界態(tài)射 互模擬

【摘要】：描述兩個(gè)模型的模態(tài)等價(jià)性,同態(tài)顯得太弱,同構(gòu)又顯得太強(qiáng),尋找一個(gè)介于同態(tài)與同構(gòu)之間的概念就導(dǎo)致了互模擬的產(chǎn)生。在模態(tài)邏輯中,互模擬沿著同態(tài)-強(qiáng)同態(tài)-有界態(tài)射-互模擬的軌跡而產(chǎn)生。在無(wú)窮模態(tài)語(yǔ)言的背景下或在像有窮的克里普克模型上,兩個(gè)模型模態(tài)等價(jià)當(dāng)且僅當(dāng)它們是互模擬的。今天,互模擬在模態(tài)邏輯、集合論和計(jì)算機(jī)科學(xué)等領(lǐng)域中得到廣泛的應(yīng)用,顯示了互模擬強(qiáng)大的理論價(jià)值和實(shí)踐價(jià)值。
【作者單位】： 南開(kāi)大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 模態(tài)邏輯 同態(tài) 有界態(tài)射 互模擬
【分類(lèi)號(hào)】：B815.1
【正文快照】： 一互模擬的含義及其產(chǎn)生的誘因從直觀上講,互模擬就是兩個(gè)系統(tǒng)能夠相互模仿對(duì)方,從而從觀察者的角度講,在某種程度上,它們是行為等價(jià)的。因此,互模擬是描述行為等價(jià)的一個(gè)數(shù)學(xué)概念,它從某個(gè)側(cè)面反映客觀世界兩個(gè)系統(tǒng)行為之間的關(guān)系�；ツM可定義在各種結(jié)構(gòu)上[1]。模態(tài)邏輯中

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 R.希爾卑倫;揚(yáng)世武;;模態(tài)邏輯的某些認(rèn)知解釋[J];世界哲學(xué);1987年01期

2 王云龍;古代社會(huì)向近代世界轉(zhuǎn)型的多維整合研究簡(jiǎn)論[J];北方論叢;2000年01期

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

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

5 裘江杰;;基礎(chǔ)認(rèn)知詞模態(tài)邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年04期

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

7 沈潔;;現(xiàn)代模態(tài)邏輯對(duì)必然性的刻畫(huà)[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2006年S1期

8 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的自然推理系統(tǒng)之比較[J];湖南科技學(xué)院學(xué)報(bào);2008年09期

9 董英東;;模態(tài)邏輯發(fā)展歷史概述[J];燕山大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2010年02期

10 朱建平;;布爾和賽格貝格論模態(tài)邏輯的三大傳統(tǒng)[J];山東理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2010年04期

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

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

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

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

4 譚宜家;;Fuzzy理想與Fuzzy同余關(guān)系[A];數(shù)學(xué)及其應(yīng)用文集——中南模糊數(shù)學(xué)和系統(tǒng)分會(huì)第三屆年會(huì)論文集（下卷）[C];1995年

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

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

7 張冠軍;姜豪;;離散數(shù)學(xué)課程中的群論教學(xué)經(jīng)驗(yàn)點(diǎn)滴[A];數(shù)學(xué)·物理·力學(xué)·高新技術(shù)研究進(jìn)展——1998（7）卷——中國(guó)數(shù)學(xué)力學(xué)物理學(xué)高新技術(shù)交叉研究會(huì)第7屆學(xué)術(shù)研討會(huì)論文集[C];1998年

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

9 關(guān)展鵬;龍冬陽(yáng);;基于迭代同態(tài)的公鑰密碼體制的實(shí)現(xiàn)(英文)[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

10 陳宗振;;古代突厥文獻(xiàn)中的bεrk及其演變[A];中國(guó)民族古文字研究（第三輯）[C];1991年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 彭冬梅;交互同態(tài)反褶積處理技術(shù)[N];中國(guó)石油報(bào);2005年

2 黃女瑛 DigiTimes;鋁固態(tài)電容市場(chǎng)：人人有機(jī)會(huì)、多數(shù)沒(méi)把握[N];電子資訊時(shí)報(bào);2006年

3 李欣偉;“兼顧實(shí)惠和高標(biāo)準(zhǔn)”[N];山西日?qǐng)?bào);2003年

4 秦應(yīng)春 范正英 記者 羅林;東坡兩項(xiàng)目 入圍“國(guó)家隊(duì)”[N];眉山日?qǐng)?bào);2008年

5 范正英邋記者 羅林;科技成果轉(zhuǎn)化東坡區(qū)一項(xiàng)目躋身國(guó)家級(jí)[N];眉山日?qǐng)?bào);2008年

6 萬(wàn)承奎;健康之竅：三句話 五把握[N];中國(guó)老年報(bào);2004年

7 王欣;青少年消費(fèi)新主張[N];廣西政法報(bào);2003年

8 岳天明;“社會(huì)化”概念的反思[N];社會(huì)科學(xué)報(bào);2000年

9 中青;青少年消費(fèi)主張兼顧實(shí)惠和高標(biāo)準(zhǔn)[N];深圳商報(bào);2003年

10 仲言;在歷史與想象之間[N];人民日?qǐng)?bào);2003年

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

1 張一凡;C~*-代數(shù)同態(tài)的分解性質(zhì)[D];華東師范大學(xué);2010年

2 顏倩倩;從C（X）到Ⅱ_1型因子上同態(tài)的近似同倫問(wèn)題[D];華東師范大學(xué);2012年

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

4 史t，

本文編號(hào)：1071633