First-order modal logic - Fitting, Melvin, 1942- (Synthese library. Studies in epistemology, logic, methodology, and philosophy of science, 1998)