內容簡介
自上個世紀七十年代以來,模態 邏輯學與計算科學、語言學等學科相 交互,得到了越來越多的關注,對其 自身的理論研究也得到了充分的發 展,形成了以完全理論、對偶理論及 對應理論為主要模塊的研究領域。典 範問題源於完全性理論,與對偶理 論、對應理論及有窮模型性等研究方 向皆有密切關聯,在典範問題研究中 也發掘出了許多自然且深刻的概念與 方法。裘江傑編著的這本《模態邏輯中的典範問題研 究》分別從典範框架、微觀層面上的 公式、宏觀層面上的邏輯以及典範邏 輯的可典範公理化、有窮框架性及可 典範公理化的邏輯類等角度繫統探討 了模態邏輯的典範性。
本書適合現代邏輯及相關專業的 研究人員和高校師生參考閱讀。
本書適合現代邏輯及相關專業的 研究人員和高校師生參考閱讀。