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].

- Sytax of modal logic
- Semantics for normal modal logic: Kripke models
- Montague-Scott semantics
- Basic temporal logic

2001-04-05