Short Introduction To Modal Logic door Grigori Mints