Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games)

Johan van Benthem , Benedikt Lowe , Dov Gabbay