Johan van Benthem · Study