next up previous contents
Next: Teooria (theory) Up: No Title Previous: Süllogismi moodused (modus of

Temporaalloogika (temporal logic)

- osaliselt interpreteeritud modaalloogika, milles modaalseid operaatoreid tõlgendatakse kui

displaymath567

Kasutatakse programmide ajaliste omaduste verifitseerimiseks.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996