Logic With Added Reasoning door Michael Gabbay