Institutional model theory

Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system. Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system. The notion of 'logical system' here is formalized as an institution. Institutions constitute a model-oriented meta-theory on logical systems similar to how the theory of rings and modules constitute a meta-theory for classical linear algebra. Another analogy can be made with universal algebra versus groups, rings, modules etc. By abstracting away from the realities of the actual conventional logics, it can be noticed that institution theory comes in fact closer to the realities of non-conventional logics.