El objeto del estudio del calculo proposicional con localizacion temporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realizacion temporal” para expresar “en el instante t se realiza \phi” mediante “Rt(\phi)”. Se construye un calculo proposicional incluyendo el simbolo Rt y permitiendo cuantificar las variables temporales, con axiomas y reglas deductivas especificas, el cual con respecto a una clase adecuada de estructuras, resulta ser valido y completo. La prueba de completitud se hace mostrando que via una traduccion adecuada, este calculo proposicional con localizacion temporal resulta sorpresivamente ser en cierta forma equivalente al calculo de predicados monadicos con igualdad.