Book

First-order modal logic

by Melvin Fitting, Richard L. Mendelsohn