Zamansal mantık
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.
|Bilgisayar bilimi ile ilgili bu madde bir taslaktır. Madde içeriğini geliştirerek Vikipedi'ye katkıda bulunabilirsiniz.|