Problem: In semantics we have the concept of modality, among the different kinds of modality are:
1) necessity  where true proposition must be true no matter what and
2)  possibility, where a possibly true proposition maybe true and maybe false
Would you please explain these two kinds?
Add the references please.