Text this: Un cálculo temporal de predicados de tipo modal