Formal study of the concepts of necessity and possibility, modal, propositional and quantificational logic, possible-worlds semantics, and the metaphysics of modality. Other topics may include counterfactuals, truth, vagueness, epistemic logic, temporal logic, or non-classical logic.