E-Book, Englisch, Band 304, 281 Seiten, eBook
Reihe: Synthese Library
Holmström-Hintikka / Lindström / Sliwinski Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
2001
ISBN: 978-94-010-0630-9
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 304, 281 Seiten, eBook
Reihe: Synthese Library
ISBN: 978-94-010-0630-9
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Stig Kanger as we Remember Him: Nine Biographical Sketches edited by K. Segerberg, with contributions by K. Segerberg, S. Halldén, J. Berg, S. Stenlund, I. Pörn, L. Gustafsson, B.F. Chellas, L. Åqvist, K.B. Hansen. The Proof Theory of Stig Kanger: A Personal Recollection; G. Sundholm. A Note on Kanger's Work on Efficient Proof Procedures; D. Prawitz. Kanger's Choices in Automated Reasoning; A. Degtyarev, A. Voronkov. Kanger's Ideas on Non-Well-Founded Sets: Some Remarks; K.B. Hansen. The Proper Treatment of Quantifiers in Ordinary Logic; J. Hintikka. An Exposition and Development of Kanger's Early Semantics for Modal Logic; S. Lindström. Stig Kanger on Deontic Logic; R. Hilpinen. Stig Kanger's Theory of Rights; L. Lindahl. Stig Kanger's Theory of Rights: Bearers and Counterparties, Sources-Of-Law, and the Hansson Petaluma Example; L. Åqvist. Stig Kanger's Actions and Influence; G. Holmström-Hintikka. Kanger's Theory of Preference and Choice; S.O. Hansson. Preference Logic and Radical Interpretation: Kanger Meets Davidson; W. Rabinowicz. Non-Binary Choice and Preference: A Tribute to Stig Kanger; A. Sen. Notes on the Contributors. Index of Names. Subject Index.




