A short introduction to modal logic. - Mints, Grigori (CSLI Lecture Notes, 1992)