JOHAN VAN BENTHEM AND KEES DOETS HIGHER-ORDER LOGIC