1
Dinamik mantık ve zamansal mantık arasındaki fark
Farkı bulmak için, Wikipedia'da geçici mantık hakkında aşağıdaki iddialarla karşılaştım : birçok ortak özelliği dinamik mantıkla paylaşan bir başka modal mantık çeşidi, yukarıda bahsedilen mantıkların hepsinden farklıdır, Pnueli'nin "endojen" bir mantık olarak karakterize ettiği, diğerleri "ekzojen" mantıktır. Bu Pnueli, zamansal mantık iddialarının, zamanın geçişiyle birlikte tek bir küresel durumun değiştiği …