1
La diferencia entre lógica dinámica y lógica temporal.
Para encontrar la diferencia, me acabo de encontrar con las siguientes afirmaciones sobre la lógica temporal en Wikipedia : Otra variante de la lógica modal que comparte muchas características comunes con la lógica dinámica, difiere de todas las lógicas mencionadas anteriormente por ser lo que Pnueli ha caracterizado como una …