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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.