Knowledge Representation

Use modal, temporal, and epistemic logics to express the following:

There will be a time in the future after which it will be common knowledge among scientists that time travel is impossible.
I have always known that I might have to leave town.
Obama must know that from now on every American will know his name.
Jamaicans all know that the Windies will have to win.