La teoría de modelos estudia las propiedades que se heredan de unas teorías a otras a lo largo de estas traducciones, y compara los alcances respectivos de teorías diversas.