Hansson, Sven Ove
David Makinson on Classical Methods for Non-Classical Problems
Part I. Introductory
1. Preview
Sven Ove Hansson
2. David Makinson and the Extension of Classical Logic
Sven Ove Hansson, Peter Gärdenfors
3. A Tale of Five Cities
David Makinson
Part II. Logic of Belief Change
4. Safe Contraction Revisited
Hans Rott, Sven Ove Hansson
5. A Panorama of Iterated Revision
Pavlos Peppas
6. AGM, Ranking Theory, and the Many Ways to Cope with Examples
Wolfgang Spohn
7. Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change
Edwin Mares
8. Epistemic Reasoning in Life and Literature
Rohit Parikh
Part III. Uncertain Reasoning
9. New Horn Rules for Probabilistic Consequence: Is mathrm{O}{+}
Enough?
James Hawthorne
10. Non-Monotonic Logic: Preferential Versus Algebraic Semantics
Karl Schlechta
11. Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics
Hykel Hosni
Part IV. Normative Systems
12. Abstract Interfaces of Input/Output Logic
Audun Stolpe
13. Intuitionistic Basis for Input/Output Logic
Xavier Parent, Dov Gabbay, Leendert van der Torre
14. Reasoning About Permission and Obligation
Jörg Hansen
15. Norm Change in the Common Law
John Horty
Part V. Classical Resources
16. Intelim Rules for Classical Connectives
David Makinson
17. Relevance Logic as a Conservative Extension of Classical Logic
David Makinson
Part VI. Responses
18. Reflections on the Contributions
David Makinson
Keywords: Philosophy, Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Theoretical Languages
- Author(s)
- Hansson, Sven Ove
- Publisher
- Springer
- Publication year
- 2014
- Language
- en
- Edition
- 2014
- Series
- Outstanding Contributions to Logic
- Page amount
- 12 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9789400777590