First-Order Modal Logic - Fitting, Melvin; Mendelsohn, Richard L. (Cham Springer International Publishing AG, 2023)