Assertion: logic's operator | /r/HasProperty | extra modal
Facets:
Source sentences:
text: Modal logic has extra modal operators with meanings which can be characterized informally as, for example "it is necessary that φ" (true in all possible worlds) and "it is possible that φ" (true in some possible world).