A Dynamic Logic Formalisation of the Dialogue Gameboard Raquel Fernández author 2003 text Student Research Workshop conference publication fernandez-2003-dynamic https://aclanthology.org/E03-3005/ 2003