First Steps in Modal Logic
This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results—as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.
1100940742
First Steps in Modal Logic
This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results—as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.
127.0 In Stock
First Steps in Modal Logic

First Steps in Modal Logic

by Sally Popkorn
First Steps in Modal Logic

First Steps in Modal Logic

by Sally Popkorn

Overview

This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results—as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.

Product Details

ISBN-13: 9780521464826
Publisher: Cambridge University Press
Publication date: 12/08/1994
Edition description: New Edition
Pages: 332
Product dimensions: 5.98(w) x 9.02(h) x 0.87(d)

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.
From the B&N Reads Blog
Page 1 of

Related Subjects

Philosophy
Major Branches of Philosophical Study
Logic
Philosophy
Major Branches of Philosophical Study
Logic

Customer Reviews