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