In this section we shall review modal logic briefly. We shall only define the syntax and semantics of the basic propositional systems and state without proofs some of the most basic results about them. More complete overviews of the subject can be found in [HC96], [Che80], or [Gol87].