First-Order Modal Logic (1998)

by M Fitting, R L Mendelsohn