Metalogical Reflection

See the works of:

Solomon Feferman did a lot of work.
Raymond Smullyan
John Harrison's review?
NuPrl
José Meseguer headed the Rewriting Project at SRI, resulting mainly in Maude. See also Semantic Foundations for Compositions.
Samuel Boutin wrote a PhD thesis on reflection and quotients in Higher-Order Logic?s.
R.B. Jones' page on logic
Aurélien Slodzian (old homepage MIA) has written a paper on knowledge-level reflection [MIA can be found on citeseer].
Another paper on knowledge-level reflection, here.

This page is linked from: Methods of Reflection