Logic With Added Reasoning by Michael Gabbay