En semántica formal una teoría o conjunto de proposiciones recibe una interpretación semántica dentro de un modelo.