1
Różnica między logiką dynamiczną a logiką czasową
Aby znaleźć różnicę, właśnie natknąłem się na poniższe stwierdzenia dotyczące logiki czasowej w Wikipedii : inny wariant logiki modalnej o wielu wspólnych cechach z logiką dynamiczną różni się od wszystkich wyżej wymienionych logików tym, że Pnueli scharakteryzował je jako logikę „endogeniczną”, a pozostałe to logika „egzogeniczna”. Pod tym pojęciem Pnueli …