Introductory modal logic - Konyndyk, Kenneth (University of Notre Dame Press, 1986)