本文關(guān)鍵詞：模態(tài)邏輯GL的基于廣義謝弗豎的分析性模態(tài)公理系統(tǒng)（英文）

  更多相關(guān)文章： 模態(tài)邏輯 分析性 GL 公理系統(tǒng) 完全性 inferential 記法 frames 定理證明 branch

【摘要】：基于廣義謝弗豎這種新算子,本文構(gòu)造了模態(tài)邏輯GL的模態(tài)表列和分析性模態(tài)公理系統(tǒng)。廣義謝弗豎是一種n元算子,為模態(tài)邏輯的表達(dá)式提供一種新記法,使分析性模態(tài)公理系統(tǒng)的陳述直接明了。由于謝弗豎是一種新算子,基于它的模態(tài)表列規(guī)則與通常的基于模態(tài)詞和聯(lián)結(jié)詞的表列規(guī)則有所不同。分析性模態(tài)公理系統(tǒng)中的內(nèi)定理證明很簡(jiǎn)單。因?yàn)榉治鲂阅B(tài)公理系統(tǒng)與模態(tài)表列之間存在某種對(duì)應(yīng)關(guān)系,所以GL的分析性模態(tài)公理系統(tǒng)的完全性由GL的模態(tài)表列的完全性結(jié)果易證。GL的模態(tài)系統(tǒng)的完全性證明比較特殊,無(wú)法直接應(yīng)用證明模態(tài)邏輯完全性的一般方法——典范模型方法,需要用一種過(guò)濾的方法挑出一些可能世界構(gòu)造有窮模型。
【作者單位】： 中國(guó)社會(huì)科學(xué)院馬克思主義研究院;
【分類(lèi)號(hào)】：B815.1
【正文快照】：

【相似文獻(xiàn)】

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

1 郝一江;張曉君;;動(dòng)態(tài)邏輯:關(guān)于程序的模態(tài)邏輯[J];哲學(xué)動(dòng)態(tài);2009年11期

2 宋偉;;《模態(tài)邏輯指南》中的若干錯(cuò)誤[J];畢節(jié)學(xué)院學(xué)報(bào);2010年03期

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

4 張曉君;;論模態(tài)邏輯中的嵌入問(wèn)題[J];西南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2011年01期

5 李娜;王湘云;;共代數(shù)模態(tài)邏輯研究述評(píng)[J];哲學(xué)動(dòng)態(tài);2011年01期

6 劉新文;;現(xiàn)代模態(tài)邏輯探源[J];哲學(xué)動(dòng)態(tài);2011年05期

7 裘江杰;;模態(tài)邏輯典范框架幾個(gè)側(cè)面[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2013年09期

8 董英東;;組合模態(tài)邏輯[J];畢節(jié)學(xué)院學(xué)報(bào);2013年08期

9 王鳳琴;《模態(tài)邏輯》簡(jiǎn)介[J];國(guó)外社會(huì)科學(xué);1982年09期

10 鄭文輝,梁慶寅;談?wù)勀B(tài)邏輯[J];現(xiàn)代哲學(xué);1986年01期

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

1 孫衛(wèi)民;;模態(tài)邏輯中幾個(gè)概念的發(fā)展[A];1994年邏輯研究專輯[C];1994年

2 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專輯[C];1995年

3 馮棉;;模態(tài)邏輯研究中的若干問(wèn)題[A];1993年邏輯研究專輯[C];1993年

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

5 李娜;;認(rèn)識(shí)論模態(tài)邏輯E-系統(tǒng)的布爾值模型[A];邏輯、語(yǔ)言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

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

7 王陽(yáng);;模態(tài)邏輯·形式語(yǔ)義·文本符號(hào)[A];2003年邏輯研究專輯[C];2003年

8 裘江杰;;一類(lèi)認(rèn)知詞模態(tài)邏輯Ⅰ:基礎(chǔ)邏輯[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

9 劉邦凡;;一個(gè)知識(shí)表示的廣義模態(tài)邏輯方案[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

10 劉邦凡;何向東;;一個(gè)“知識(shí)”定義的邏輯解釋[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年

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

1 史t，

本文編號(hào)：1256866