Per trovare la differenza, ho appena incontrato le seguenti affermazioni sulla logica temporale in Wikipedia :
un'altra variante della logica modale che condivide molte caratteristiche comuni con la logica dinamica, differisce da tutte le logiche sopra menzionate per essere quella che Pnueli ha definito una logica "endogena", mentre le altre sono logiche "esogene". Con questo Pnueli intendeva dire che le asserzioni della logica temporale sono interpretate all'interno di un quadro comportamentale universale in cui una singola situazione globale cambia con il passare del tempo, mentre le asserzioni delle altre logiche vengono fatte esternamente alle molteplici azioni di cui parlano. Il vantaggio dell'approccio endogeno è che non fa ipotesi fondamentali su ciò che provoca ciò che cambia nel tempo. Invece una formula di logica temporale può parlare di due parti non correlate di un sistema, che a causa della loro non correlazione si evolvono tacitamente in parallelo. In effetti la congiunzione logica ordinaria delle asserzioni temporali è l'operatore di composizione concorrente della logica temporale. La semplicità di questo approccio alla concorrenza ha portato la logica temporale a essere la logica modale di scelta per il ragionamento sui sistemi concorrenti con i suoi aspetti di sincronizzazione, interferenza, indipendenza, deadlock, livelock, equità, ecc.
Non riuscivo a capire la differenza, considerevolmente. La logica dinamica non può coprire ogni aspetto guidato dal tempo all'interno degli argomenti, così come la logica temporale?
O perché la dinamica non dovrebbe gestire sistemi concorrenti?
La prego di chiarire il caso?