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.
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.