First-order modal logic - Fitting, Melvin, 1942- (Kluwer Academic Publishers, 1998)