Assertion: modal logic | /r/HasAspect | extra modal operators
Facets:
value: with meanings
type: OTHER
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).