Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.
Read more about Institutional Model Theory: Overview
Famous quotes containing the words model and/or theory:
“If the man who paints only the tree, or flower, or other surface he sees before him were an artist, the king of artists would be the photographer. It is for the artist to do something beyond this: in portrait painting to put on canvas something more than the face the model wears for that one day; to paint the man, in short, as well as his features.”
—James Mcneill Whistler (1834–1903)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)