Temporal Logic from the Chronicles Paradigm: by Jose Aguilar