Text this: Una aplicación de lógica modal a la teoría del equilibrio general - el caso de una economía de intercambio puro con dos agentes modelado a través de CTL