Introductory Modal Logic by Kenneth Konyndyk