1
La differenza tra logica dinamica e logica temporale
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 …