Lógica temporal
Definición – ¿Qué significa la lógica temporal? La lógica temporal es una rama de la lógica simbólica que se ocupa de problemas sobre proposiciones que tienen valores de verdad dependientes del tiempo. La lógica temporal se considera una variante de la lógica modal, que es una rama de la lógica que trata con proposiciones que … Leer más