Introductory Modal Logic - Konyndyk, Kenneth J., Jr (University of Notre Dame Press, 1986)