Book contents
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- I Preliminaries
- II Transition structures and semantics
- III Proof theory and completeness
- IV Model constructions
- V More advanced material
- 14 SLL logic
- 15 Löb logic
- 16 Canonicity without the fmp
- 17 Transition structures aren't enough
- VI Two appendices
- Bibliography
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- I Preliminaries
- II Transition structures and semantics
- III Proof theory and completeness
- IV Model constructions
- V More advanced material
- 14 SLL logic
- 15 Löb logic
- 16 Canonicity without the fmp
- 17 Transition structures aren't enough
- VI Two appendices
- Bibliography
Summary
- Type
- Chapter
- Information
- First Steps in Modal Logic , pp. 187 - 200Publisher: Cambridge University PressPrint publication year: 1994