Definition of necessity operator in English:

necessity operator

noun

Logic
  • A word or symbol signifying that the proposition to which it attaches is a necessary truth.

Origin

1950s; earliest use found in Journal of Symbolic Logic.