Interactive Logic door Johan Benthem, Dov Gabbay & Benedikt Loewe