1
La différence entre logique dynamique et logique temporelle
Pour trouver la différence, je venais de rencontrer des affirmations ci-dessous sur la logique temporelle dans Wikipedia : une autre variante de la logique modale partageant de nombreuses caractéristiques communes avec la logique dynamique, diffère de toutes les logiques mentionnées ci-dessus en étant ce que Pnueli a qualifié de logique …