Matthew Frank says: >Model-Theoretic Logics, ed. Jon Barwise and Solomon Feferman, Springer, >1985, is the place to look, in the early chapters. I've looked, but didn't find anything about this logic. Please note that we're not talking about an extension of ordinary first order logic.