David Makinson on Classical Methods for Non-Classical Problems

Editors:

ISBN: 978-94-007-7758-3 (Print) 978-94-007-7759-0 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xii

  2. Introductory

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-10

      Preview

    3. No Access

      Chapter

      Pages 11-18

      David Makinson and the Extension of Classical Logic

    4. No Access

      Chapter

      Pages 19-32

      A Tale of Five Cities

  3. Logic of Belief Change

    1. Front Matter

      Pages 33-33

    2. No Access

      Chapter

      Pages 35-70

      Safe Contraction Revisited

    3. No Access

      Chapter

      Pages 71-94

      A Panorama of Iterated Revision

    4. No Access

      Chapter

      Pages 95-118

      AGM, Ranking Theory, and the Many Ways to Cope with Examples

    5. No Access

      Chapter

      Pages 119-141

      Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change

    6. No Access

      Chapter

      Pages 143-153

      Epistemic Reasoning in Life and Literature

  4. Uncertain Reasoning

    1. Front Matter

      Pages 155-155

    2. No Access

      Chapter

      Pages 157-166

      New Horn Rules for Probabilistic Consequence: Is \(\mathrm{O}{+}\) Enough?

    3. No Access

      Chapter

      Pages 167-193

      Non-Monotonic Logic: Preferential Versus Algebraic Semantics

    4. No Access

      Chapter

      Pages 195-221

      Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics

  5. Normative Systems

    1. Front Matter

      Pages 223-223

    2. No Access

      Chapter

      Pages 225-262

      Abstract Interfaces of Input/Output Logic

    3. No Access

      Chapter

      Pages 263-286

      Intuitionistic Basis for Input/Output Logic

    4. No Access

      Chapter

      Pages 287-333

      Reasoning About Permission and Obligation

    5. No Access

      Chapter

      Pages 335-355

      Norm Change in the Common Law

  6. Classical Resources

    1. Front Matter

      Pages 357-357

    2. No Access

      Chapter

      Pages 359-382

      Intelim Rules for Classical Connectives

    3. No Access

      Chapter

      Pages 383-398

      Relevance Logic as a Conservative Extension of Classical Logic

  7. Responses

    1. Front Matter

      Pages 399-399

    2. No Access

      Chapter

      Pages 401-420

      Reflections on the Contributions

  8. Back Matter

    Pages 421-433