Category:Definitions/Possibility Operator
Jump to navigation
Jump to search
This category contains definitions related to Possibility Operator.
Related results can be found in Category: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$
Pages in category "Definitions/Possibility Operator"
The following 3 pages are in this category, out of 3 total.