Logica voor informatica door Hans van Ditmarsch, Johan F.A.K. van Benthem & Johan van Benthem