Temporal Logic from the Chronicles Paradigm: door Jose Aguilar