First-Order Modal Logic - Melvin Fitting, Richard L. Mendelsohn (Springer, 2023)
Keywords: Philosophy