Description

Book Synopsis

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.

Trade Review

"This text should appeal to anyone with an interest in model logic...an attractive choice for self-study." J.M. Plotkin, Mathematical Reviews
"...offers a distinctive viewpoint and is easy to learn from." D.V. Feldman, Choice

Table of Contents

Introduction; Acknowledgements; Part I. Preliminaries: 1. Survey of propositional logic; 2. The modal language; Part II. Transition Structures and Semantics: 3. Labelled transition structures; 4. Valuation and satisfaction; 5. Correspondence theory; 6. The general confluence result; Part III. Proof Theory and Completeness: 7. Some consequence relations; 8. Standard formal systems; 9. The general completeness result; 10. Kripke-completeness; Part IV. Model Constructions: 11. Bismulations; 12. Filtrations; 13. The finite model property; Part V. More Advanced Material: 14. SLL logic; 15. Löb logic; 16. Canonicity without the fmp; 17. Transition structures aren't enough; Part VI. Two Appendices: Bibliography.

First Steps in Modal Logic

    Product form

    A Paperback by Sally Popkorn

    £56.16

    Includes FREE delivery

    Order before 4pm on Monday for delivery by Fri 27 Nov 2026.

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of First Steps in Modal Logic by Sally Popkorn

      Book details

      Publisher Cambridge University Press
      Published 28 January 2008
      ISBN-13 9780521057936
      978-0521057936
      ISBN-10 0521057930
      Also in:
      Mathematical logic

      Description

      Book Synopsis

      This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.

      Trade Review

      "This text should appeal to anyone with an interest in model logic...an attractive choice for self-study." J.M. Plotkin, Mathematical Reviews
      "...offers a distinctive viewpoint and is easy to learn from." D.V. Feldman, Choice

      Table of Contents

      Introduction; Acknowledgements; Part I. Preliminaries: 1. Survey of propositional logic; 2. The modal language; Part II. Transition Structures and Semantics: 3. Labelled transition structures; 4. Valuation and satisfaction; 5. Correspondence theory; 6. The general confluence result; Part III. Proof Theory and Completeness: 7. Some consequence relations; 8. Standard formal systems; 9. The general completeness result; 10. Kripke-completeness; Part IV. Model Constructions: 11. Bismulations; 12. Filtrations; 13. The finite model property; Part V. More Advanced Material: 14. SLL logic; 15. Löb logic; 16. Canonicity without the fmp; 17. Transition structures aren't enough; Part VI. Two Appendices: Bibliography.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account