|
關(guān)于我們
 書單推薦 新書推薦 |
模態(tài)邏輯中的典范問題研究 
定 價：47 元
9 7 1 8 4 7 1 5 0 1 6 6 9
自上個世紀(jì)七十年代以來，模態(tài) 邏輯學(xué)與計算科學(xué)、語言學(xué)等學(xué)科相 交互，得到了越來越多的關(guān)注，對其 自身的理論研究也得到了充分的發(fā) 展，形成了以完全理論、對偶理論及 對應(yīng)理論為主要模塊的研究領(lǐng)域。典 范問題源于完全性理論，與對偶理 論、對應(yīng)理論及有窮模型性等研究方 向皆有密切關(guān)聯(lián)，在典范問題研究中 也發(fā)掘出了許多自然且深刻的概念與 方法。裘江杰編著的這本《模態(tài)邏輯中的典范問題研 究》分別從典范框架、微觀層面上的 公式、宏觀層面上的邏輯以及典范邏 輯的可典范公理化、有窮框架性及可 典范公理化的邏輯類等角度系統(tǒng)探討 了模態(tài)邏輯的典范性。
本書適合現(xiàn)代邏輯及相關(guān)專業(yè)的 研究人員和高校師生參考閱讀。
你還可能感興趣
我要評論
|
