Introduction to modal logic. - Hughes G E; Cresswell M J (London Methuen and Co Ltd., 1968)