Completeness

In this chapter we shall prove the completeness of K, D, T, S4, B and S5. But the technique we use will generalize to all modal systems of a certain class, and we shall begin by making a few remarks about systems and validity in general.