Institutional model theory (original) (raw)
In mathematical logic, institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.
In mathematical logic, institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.