Labelled Deduction by Marcello D'Agostino & Professor Dov M. Gabbay