Modal Logic: An Introduction
An introductory textbook on modal logic the logic of necessity and possibility.