Possible world theory is related to alethic logic: a proposition is "necessary" if it is true in all possible worlds, and "possible" if it is true in at least one.
An investigation has not found a single language in which alethic and epistemic modalities would be formally distinguished, for example by the means of a grammatical mood.
