Table of contents for First steps in modal logic / Sally Popkorn.

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

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.

Library of Congress subject headings for this publication: