First-order modal logic - Fitting, Melvin, 1942- (Synthese library (Springer),, 2023)