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