Zamansal mantık, önermelerin zaman biçiminde ifade edilmesine dayanan kurallar bütünüdür. "Ben her zaman açım" ve "Bir şey yiyene dek aç olacağım" gibi tümceler zamansal mantığa örnek gösterilebilir. 1950'lerde Arthur Prior tarafından tanımlanan zamansal mantığın gelişiminde Hans Kamp ve Amir Pnueli etkili olmuştur. Program doğrulamada sıkça kullanılmaktadır.