Modal logic is the logic of necessity and possibility. Unlike non-modal logic, it codifies structures which represent how things could be as well as how things are. This text guides readers through the most basic systems of modal predicate logic with identity. Dealing with both technical developments such as completeness and incompleteness and finite and infinite models, it discusses philosophical applications, especially in the area of predicate logic.
