Short Introduction To Modal Logic by Grigori Mints