David Makinson on Classical Methods for Non-Classical Problems - Couverture souple
Livre 3 sur 29: Outstanding Contributions to Logic
Synopsis
Preface.- Contributors.- Introductory.- Chapter 1. Sven Ove Hansson: Preview.- Chapter 2. Sven Ove Hansson and Peter Gärdenfors: David Makinson and the extension of classical logic.- Chapter 3. David Makinson: A tale of five cities.- I. Logic of Belief Change.- Chapter 4. Hans Rott and Sven Ove Hansson: Safe contraction revisited.- Chapter 5. Pavlos Peppas: A panorama of iterated revision.- Chapter 6. Wolfgang Spohn: AGM, ranking theory and the many ways to cope with examples.- Chapter 7. Edwin Mares: Liars, lotteries and prefaces: two paraconsistent theories of belief revision.- Chapter 8. Rohit Parikh: Epistemic reasoning in life and literature.- II. Uncertain Reasoning.- Chapter 9. James Hawthorne: New Horn rules for probabilistic consequence: Is O+ enough?.- Chapter 10. Karl Schlechta: Non-monotonic logic: preferential vs. algebraic semantics.- Chapter 11. Hykel Hosni: Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics.- III. Normative Systems.- Chapter 12. Audun Stolpe: Abstract interfaces of input/output logic.- Chapter 13. Xavier Parent, Dov Gabbay and Leendert van der Torre: Intuitionistic basis for input/output logic.- Chapter 14. Jörg Hansen: Reasoning about permission and obligation.- Chapter 15. John Horty: Norm change in the common law.- IV. Classical Resources.- Chapter 16. David Makinson: Intelim rules for classical connectives.- Chapter 17. David Makinson: Relevance logic as a conservative extension of classical logic.- V. Responses.- Chapter 18. David Makinson: Reflections on contributions.- Bibliographical.- David Makinson's publications.- Index.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
