First Order Modal Logic by Melvin Fitting & Richard L. Mendelsohn