Logica in actie by H. van Ditmarsch, J. van Benthem & J. van Eijck