First-order Modal Logic (1999)

by M Fitting, R L Mendelsohn