Suppose we have a network of institutions that are connected through some kind of mappings, such as institution comorphisms, for instance. This may represent a heterogeneous logical environment that is composed from various logical systems, captured as institutions, in which some of them are related via comorphisms.