Study of the concepts of necessity and possibility using extensions of classical logic: modal sentential logic, modal quantification logic, possible-world semantics, the metaphysics of modality. Other possible topics include: counterfactuals, epistemic logic, temporal logic, deontic logic, many-valued logic, and supervaluations.