cdc-coteauxdegaronne
» » Collected Papers of Stig Kanger with Essays on his Life and Work (Synthese Library)
eBook Collected Papers of Stig Kanger with Essays on his Life and Work (Synthese Library) ePub

eBook Collected Papers of Stig Kanger with Essays on his Life and Work (Synthese Library) ePub

by Ghita Holmström-Hintikka,Sten Lindström,R. Sliwinski

  • ISBN: 1402000219
  • Category: Mathematics
  • Subcategory: Math Science
  • Author: Ghita Holmström-Hintikka,Sten Lindström,R. Sliwinski
  • Language: English
  • Publisher: Springer; 2001 edition (December 31, 2001)
  • Pages: 305
  • ePub book: 1599 kb
  • Fb2 book: 1767 kb
  • Other: docx mobi lrf txt
  • Rating: 4.2
  • Votes: 558

Description

A Note on Kanger’s Work on Efficient Proof Procedures. Ghita Holmström-Hintikka.

A Note on Kanger’s Work on Efficient Proof Procedures.

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.

Collected Papers of Stig Kanger with Essays on his Life and Work: Volume 2" – электронная кніга аўтараў Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski

Collected Papers of Stig Kanger with Essays on his Life and Work: Volume 2" – электронная кніга аўтараў Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski

Finding books BookSee BookSee - Download books for free. Collected Papers of Stig Kanger with Essays on his Life and Work, Vol. I. Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski.

Finding books BookSee BookSee - Download books for free. 4 Mb. II.

Ghita Holmstrom-Hintikka, Sten Lindstrom, Rysiek Sliwinski. 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 theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers.

Collected Papers of Stig Kanger with Essays on his Life and Work, Volume I. Springer.

Book · January 2001 with 4 Reads. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends. Isbn: 978-1-4020-0022-5.

G Holmström-Hintikka, S LindstrÖm, R Sliwinski. Collected Papers of Stig Kanger with Essays on his Life and Work, 214-230, 2001.

G Holmström-Hintikka, S LindstrÖm, R Sliwinski. Extending dynamic doxastic logic: accommodating iterated beliefs and Ramsey conditionals within DDL. S Lindström, W Rabinowicz.

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.