Modals of Deduction