Introduction to modal logic with emphasis on systems of modal logic which apply to philosophy and computer science. Includes epistemic logic, temporal logic, deontic logic, and logics for reasoning about space. Covers primarily the semantics of these systems, and secondarily the standard results about them.