A lógica temporal surgiu no século xx como uma alternativa à limitação da lógica clássica que não leva em conta o tempo verbal das sentenças em sua análise da noção de consequência lógica. a lógica temporal, por sua vez, leva em consideração o tempo na formalização de sentenças e argumentos em pelo menos dois aspectos: 1) reconhecendo que certas sentenças usualmente mudam seu valor de verdade de acordo com o momento em que são enunciadas; 2) levando em conta que em alguns casos, o tempo verbal das sentenças que compõem um argumento influencia diretamente na determinação da sua validade ou invalidade. isso leva muitas abordagens a considerar que o mundo está, de algum modo, temporalmente estruturado. a forma como se caracteriza essa estrutura é essencial para se determinar como o valor de verdade de sentenças na lógica temporal depende do tempo. concepções diferentes de passagem do tempo levam a sistemas lógicos temporais distintos. por ser o tempo um conceito muito discutido, podemos encontrar inúmeras concepções de tempo ao longo da história da filosofia e também da física. uma das formas de se pensar a passagem do tempo pode ser aquela descrita da teoria da relatividade restrita, desenvolvida pelo físico albert einstein. como veremos, a noção de tempo na teoria da relatividade difere daquele pensado na física clássica e em outras teorias físicas, inclusive com o surgimento de alguns “paradoxos” acerca da passagem do tempo. é esta concepção de tempo que interessa-nos investigar, a fim de identificar um sistema lógico temporal capaz de representar tal concepção de tempo. alguns esforços já foram feitos a fim de tentar compreender a estrutura lógica do tempo da teoria da relatividade restrita através do desenvolvimento de sistemas lógicos temporais. faremos uma investigação com base nestes esforços a fim de obtermos um esclarecimento mais abrangente da concepção de tempo da teoria da relatividade e sua relação com uma lógica temporal. um trabalho desta natureza é importante para se compreender a estrutura lógica de uma das teorias mais conhecidas da física moderna, e como a filosofia pode contribuir na compreensão de aspectos da física, através de aplicações da lógica temporal.