Collected Papers of Stig Kanger with Essays on his Life and Work

Collected Papers of Stig Kanger with Essays on his Life and Work

Author: Ghita Holmström-Hintikka

Publisher: Springer Science & Business Media

ISBN: 9789401005005

Category: Mathematics

Page: 305

View: 999

Download Now
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action 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 philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.
Collected Papers of Stig Kanger with Essays on his Life and Work
Language: en
Pages: 305
Authors: Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of
Collected papers of Stig Kanger with essays on his life and work
Language: en
Pages: 281
Authors: Stig Kanger
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2001-12-31 - Publisher: Springer Science & Business Media

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the
Collected Papers of Stig Kanger with Essays on His Life and Work
Language: en
Pages: 324
Authors: Ghita Holmstr M-Hintikka, Sten Lindstr M, R. Sliwinski
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2011-04-26 - Publisher:

Books about Collected Papers of Stig Kanger with Essays on His Life and Work
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Language: en
Pages: 281
Authors: Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of
Collected Papers of Stig Kanger with Essays on his Life and Work
Language: en
Pages: 305
Authors: Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski
Categories: Mathematics
Type: BOOK - Published: 2001-12-31 - Publisher: Springer

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of