Collected Papers of Stig Kanger with Essays on his Life and Work
Available
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 logi...
Read more
product_type_E-book
pdf
Price
89.50 £
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 logi...
Read more