Till Mossakowski <till @ tzi . de> (email mangled to prevent spamming)
Abstract:
Bibliography about institutions and other formalizations of the notion of logic. Covered aspects are: formalization of individual logics as institutions, institution independent model and proof theory, metatheorems, morphisms, combination of logics, heterogeneous specification.