Entre los miembros más destacados de esta tradición de la semántica formal se encuentran Tarski, Carnap, Richard Montague y Donald Davidson.