A Companion to Modal Logic
A New Introduction to Modal Logic (Routledge, 1996) -- Cresswell and Hughes