Modal Logics -- A Survey and Introduction, PAL Carnegie Mellon University
