Category:Possibility Operator

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

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

$\pos P : \iff \exists w: \map P w$