Modals of deduction and buildings