First Steps in Modal Logic