Enviar aquest missatge de text: A Runs−and−Systems Semantics for Logics of Announcement