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