Text this: Estudio de un cálculo proposicional con localización temporal