Institutional model theory

This page is about the concept in mathematical logic. For the concepts in sociology, see Institutional theory and Institutional logic.

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (February 2022) (Learn how and when to remove this message)

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