Tijdslogica's of
temporele logica's kunnen worden gezien als uitbreiding van de
propositielogica, de
predicatenlogica, de
modale logica of de hybride logica. Hierbij is er extra formele apparatuur om uit te drukken of iets in het verleden, het heden, de toekomst het geval is, mogelijk het geval is, of het in een mogelijke toekomst het geval is, enzovoorts. Met andere woorden kan temporele informatie met het formele systeem verwerkt worden.