Book contents
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- I Preliminaries
- II Transition structures and semantics
- 3 Labelled transition structures
- 4 Valuation and satisfaction
- 5 Correspondence theory
- 6 The general confluence result
- III Proof theory and completeness
- IV Model constructions
- V More advanced material
- VI Two appendices
- Bibliography
6 - The general confluence result
Published online by Cambridge University Press: 05 November 2011
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- I Preliminaries
- II Transition structures and semantics
- 3 Labelled transition structures
- 4 Valuation and satisfaction
- 5 Correspondence theory
- 6 The general confluence result
- III Proof theory and completeness
- IV Model constructions
- V More advanced material
- VI Two appendices
- Bibliography
Summary
- Type
- Chapter
- Information
- First Steps in Modal Logic , pp. 77 - 88Publisher: Cambridge University PressPrint publication year: 1994