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}{+}



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

Avainsanat: Philosophy, Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Theoretical Languages