Time of Logics, time of Physics

The history of reasoning about time is disseminated with paradoxes and conundra and contemporary physics does not make an exception. Logics in general, and more in particular temporal logics, represent a rigorous formal tool in order to solve or clarify problems of this kind. In what follows we will first explain, from the point of view of philosophical logic, what is a paradox and what should count as a solution for it. After that we will illustrate A.N. Prior's formalization of the traditional paradox of future contingency and determinism. Then we will focus on two modern paradoxes - the twin paradox and the time travel paradox - and show how an adequate temporal logic can help their framing and understanding.