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