| 书目名称 | Collected Papers of Stig Kanger with Essays on his Life and Work | | 编辑 | Ghita Holmström-Hintikka,Sten Lindström,Rysiek Sli | | 视频video | | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | 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 | | 关键词 | 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
|
|
发表于 2025-3-21 18:37:37
