Short Introduction to Modal Logic

Modal logic can be characterized as the logic of necessity and possibility--of must be and may be--and related concepts. Presenting both semantic and syntactic features of modal logic, this succinct introduction is suitable for introductory courses.