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