Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- 1 Basic Concepts
- 2 Models
- 3 Frames
- 4 Completeness
- 5 Algebras and General Frames
- 6 Computability and Complexity
- 7 Extended Modal Logic
- Appendix A A Logical Toolkit
- Appendix B An Algebraic Toolkit
- Appendix C A Computational Toolkit
- Appendix D A Guide to the Literature
- References
- List of Notation
- Index
Appendix A - A Logical Toolkit
Published online by Cambridge University Press: 05 July 2014
- Frontmatter
- Dedication
- Contents
- Preface
- 1 Basic Concepts
- 2 Models
- 3 Frames
- 4 Completeness
- 5 Algebras and General Frames
- 6 Computability and Complexity
- 7 Extended Modal Logic
- Appendix A A Logical Toolkit
- Appendix B An Algebraic Toolkit
- Appendix C A Computational Toolkit
- Appendix D A Guide to the Literature
- References
- List of Notation
- Index
- Type
- Chapter
- Information
- Modal Logic , pp. 485 - 496Publisher: Cambridge University PressPrint publication year: 2001