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