Book contents
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- I Preliminaries
- II Transition structures and semantics
- III Proof theory and completeness
- 7 Some consequence relations
- 8 Standard formal systems
- 9 The general completeness result
- 10 Kripke-completeness
- IV Model constructions
- V More advanced material
- VI Two appendices
- Bibliography
10 - Kripke-completeness
Published online by Cambridge University Press: 05 November 2011
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- I Preliminaries
- II Transition structures and semantics
- III Proof theory and completeness
- 7 Some consequence relations
- 8 Standard formal systems
- 9 The general completeness result
- 10 Kripke-completeness
- IV Model constructions
- V More advanced material
- VI Two appendices
- Bibliography
Summary
- Type
- Chapter
- Information
- First Steps in Modal Logic , pp. 129 - 138Publisher: Cambridge University PressPrint publication year: 1994