Institutional model theory

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.