Interactive Logic by Johan Benthem, Dov Gabbay & Benedikt Loewe