Axiomatic characterization of the AGM theory of belief revision in a temporal logic