Abstract
En este trabajo construimos estructuras lógicas para describir procesos fisicos que involucran
propiedades a distintos tiempos.
Para una teoría clásica, las propiedades se representan con pares formados por una celda del
espacio de los estados y un valor del tiempo. La estructura que se obtiene resulta un reticulado
distributivo.
Para el caso cuántico las propiedades se representan con pares formados por un subespacio
vectorial y un valor del tiempo. Se obtiene en este caso un reticulado no distributivo y se analizan
las dificultades para la asignación de probabilidades.
Estas construcciones son potencialmente útiles para analizar el límite clásico de las teorías
cuánticas, y los problemas de la medición.