necessity

The modality expressed by $\square$, meaning “true in all accessible worlds.”