Barwise and Feferman's work on generalized logics shows that adding expressive mechanisms to first-o...