Johan van Benthem a dirigé la thèse suivante :


Johan van Benthem a été rapporteur des 2 thèses suivantes :