An introduction to modal logic; The "Lemmon notes" - Lemmon, Edward John (1977)