Ch2: modal logics
Ch2: this and that
Ch2, section 1
Ch2, section 2
Ch2, rearranging
Ch 5 and 6 merged
More general fixes for Chapter 2
Chapter 2, Section 1: modal logic
Chapter 2, Section 2: intuitionistic modality
Chapter 2, Section 3: formalization of IS5
Chapter 1
Fixes (mostly for Ch 3)
Plan for chapter 4
Fixes for chapter 1
Introduction to chapter 4
Hyb to L @ Chapter 4