El tiempo es uno de los elementos básicos en la experiencia de la vida del ser humano y, a la vez, uno de los mayores misterios que entraña la realidad. Este trabajo pretende ofrecer una perspectiva general de los principales problemas que filósofos y lógicos se han encontrado desde tiempos remotos al tratar con la lógica temporal y la filosofía del tiempo. Por ello, se tratarán algunas de las grandes preguntas que grandes autores se han hecho a lo largo de la historia al intentar comprender el funcionamiento del tiempo, se verán las principales consideraciones que se han tenido y se tienen en cuenta en relación con la naturaleza y la forma del tiempo, y se presentará la relación que la lógica temporal moderna tiene con todas estas consideraciones filosóficas más allá del propio lenguaje formal. El objetivo principal del trabajo es, pues, mostrar como estas aproximaciones filosóficas e históricas siguen estando presentes en el núcleo de la lógica temporal formal y que, por lo tanto, todas esas preguntas que originaron los primeros debates en torno a la lógica relacionada con el tiempo y la modalidad siguen presentes en la actualidad.

Este trabajo se divide en tres partes principales: en la parte 1 se introducirán algunas de las preguntas más importantes que, desde la antigüedad, la humanidad se ha planteado en relación con la lógica del tiempo. En la parte 2 se verán diferentes concepciones de flujos temporales junto con algunas consideraciones formales respecto a sus propiedades, así como dos aproximaciones modernas a la hora de tratar la lógica temporal y algunos de los aspectos más relevantes del trabajo de A.N. Prior. En la parte 3 se presentarán algunos de los sistemas de lógica temporal fundamentales junto con los axiomas que los forman. Seguidamente se expondrá la relación existente entre dichos axiomas y las propiedades de los flujos del tiempo vistas en la parte 2. En esta última parte se consideran algunas de las diversas implicaciones que tiene esta relación entre lógica formal y filosofía de la lógica temporal para, luego, mostrar como estas disciplinas siguen íntimamente ligadas incluso hoy en día.