A Short Introduction To Modal Logic