Volume 28 2009

Towards Mathematical Philosophy

Papers from the Studia Logica conference Trends in Logic IV

Editors:

ISBN: 978-1-4020-9083-7 (Print) 978-1-4020-9084-4 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xiii

  2. No Access

    Book Chapter

    Pages 1-7

    From Logic to Mathematical Philosophy

  3. No Access

    Book Chapter

    Pages 9-30

    Commutativity of Quantifiers in Varying-Domain Kripke Models

  4. No Access

    Book Chapter

    Pages 31-51

    The Method of Tree-Hypersequents for Modal Propositional Logic

  5. No Access

    Book Chapter

    Pages 53-67

    All Splitting Logics in the Lattice NExt(KTB)

  6. No Access

    Book Chapter

    Pages 69-106

    A Temporal Logic of Normative Systems

  7. No Access

    Book Chapter

    Pages 107-123

    Reasoning with Justifications

  8. No Access

    Book Chapter

    Pages 125-164

    Monotone Relations, Fixed Points and Recursive Definitions

  9. No Access

    Book Chapter

    Pages 165-186

    Processing Information from a Set of Sources

  10. No Access

    Book Chapter

    Pages 187-199

    The Classical Model Existence Theorem in Subclassical Predicate Logics I

  11. No Access

    Book Chapter

    Pages 201-212

    Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

  12. No Access

    Book Chapter

    Pages 213-232

    Faithful and Invariant Conditional Probability in Łukasiewicz Logic

  13. No Access

    Book Chapter

    Pages 233-248

    A Fuzzy Logic Approach to Non-Scalar Hedges

  14. No Access

    Book Chapter

    Pages 249-268

    The Procedures for Belief Revision

  15. No Access

    Book Chapter

    Pages 269-296

    Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators

  16. No Access

    Book Chapter

    Pages 297-318

    The Coherence of Theories—Dependencies and Weights

  17. No Access

    Book Chapter

    Pages 319-343

    On Meta-Knowledge and Truth