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 evrensel bir davranış çerçevesi içinde yorumlanırken, diğer mantıkların iddialarının, konuştukları çoklu eylemlere harici olarak yapıldığı anlamına geliyordu. İçsel yaklaşımın avantajı, çevre zamanla neyin değiştiğine neyin sebep olduğu hakkında temel bir varsayımda bulunmamasıdır. Bunun yerine, geçici bir mantık formülü, bir sistemin ilişkisiz iki parçası hakkında konuşabilir; Gerçekte, zamansal iddiaların sıradan mantıksal birleşimi, zamansal mantığın eşzamanlı kompozisyon operatörüdür. Eşzamanlılığa yönelik bu yaklaşımın sadeliği, eşzamanlı sistemler hakkında eşzamanlama sistemleri, senkronizasyon, girişim, bağımsızlık, kilitlenme, canlı kilit, adalet, vb.
Farkı hatırlayamadım. Dinamik mantık, geçici mantıkın yanı sıra bağımsız değişkenler içindeki her zaman odaklı yönü kapatamaz mı?
Ya da neden dinamik eşzamanlı sistemleri ele almıyor?
Lütfen davayı temizler misiniz?