An Introduction to Modal Logic