Dinamik mantık ve zamansal mantık arasındaki fark


12

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?

Yanıtlar:


0

Tamam, dinamik mantık, bir eylemden sonra hangi modsal durumun olması gerektiğini belirten iddialar ekler, ancak bu eylem belirtilir. Zamansal mantıkta modsal yön vurgulanmamıştır. Örneğin, dinamik alethic mantığı düşünürsek, alethic bit geçici tempoda bulunmazdı. Umarım bu yardımcı olur.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.