About: Institutional model theory

Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.

Property	Value
dbpprop:abstract	Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Institutional_model_theory
dbpprop:reference	http://www.imar.ro/~diacon/publications.html#Institutions__institution-independent
rdfs:comment	Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.
rdfs:label	Institutional model theory
owl:sameAs	freebase:Institutional model theory
skos:subject	dbpedia:Category:Model_theory dbpedia:Category:Mathematical_logic dbpedia:Category:Theoretical_computer_science
foaf:page	http://en.wikipedia.org/wiki/Institutional_model_theory