A type of modality that concerns what is necessary and what is possible.