Модальные глаголы «must», «may», «might», «could» употребляются в утвердительном и отрицательном предложениях в значении предположения, глагол «can» в вопросительном и удивления, недоверия.

Глагол «must» не употребляется в значении предположения для выражения будущего времени, а также в отрицательном предложении. В этих случаях используется слово «probably» — «вероятно».

Probably he will come.
He probably doesn't know it.

В предложениях с двойным отрицанием употребляется сложно-подчиненное предложение:

Не может быть, чтобы он не знал (что он не знает) этого.
It can't be he doesn't know it.

Хвостовой вопрос строится следующим образом:

Не must be reading, isn't he?
They may have done it, haven't they?

При согласовании времен для выражения прошедшего действия после модального глагола ставится Perfect Infinitive:

We knew he couldn't have done it.

Таблица модальных глаголов в Значении предположения, удивления, сомнения

Между «may» и «might» нет особой разницы. Для выражения большей доли сомнения употребляется глагол «could».

— Where is Jack?
— He could be at his office but he isn't usually there at this time.