Category:Necessity Operator

This category contains results about Necessity Operator.
Definitions specific to this category can be found in Definitions/Necessity Operator.

The necessity operator $\nec$ is the unary modal operator defined for some proposition $P$ dependent on some world $w$:

$\nec P : \iff \forall w: \map P w$