| 書(shū)目名稱 | Collected Papers of Stig Kanger with Essays on his Life and Work | | 編輯 | Ghita Holmstr?m-Hintikka,Sten Lindstr?m,Rysiek Sli | | 視頻video | http://file.papertrans.cn/230/229528/229528.mp4 | | 叢書(shū)名稱 | Synthese Library | | 圖書(shū)封面 |  | | 描述 | Stig Kanger (1924-1988) made important contributions tologic and formal philosophy. Kanger‘s dissertation .Provability inLogic., 1957, contained significant results in proof theory as wellas the first fully worked out model-theoretic interpretation ofquantified modal logic. It is generally accepted nowadays that Kangerwas one of the originators of possible worlds semantics for modallogic. Kanger‘s most original achievements were in the areas ofgeneral proof theory, the semantics of modal and deontic logic, andthe logical analysis of the concept of rights. He also contributed toaction theory, preference logic, and the theory of measurement. .This is the first of two volumes dedicated to the work of Stig Kanger.The present volume is a complete collection of Kanger‘s philosophicalpapers. The second volume contains critical essays on Kanger‘s work,as well as biographical essays on Kanger written by colleagues andfriends. | | 出版日期 | Book 2001 | | 關(guān)鍵詞 | deontic logic; human rights; logic; logical analysis; modal logic; proof; proof theory | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-010-0500-5 | | isbn_softcover | 978-1-4020-0022-5 | | isbn_ebook | 978-94-010-0500-5Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Kluwer Academic Publishers 2001 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 02:09
發(fā)表于 2025-3-21 18:37:37
